A konvexitás sem származtatható magából a vektortérből. Kell hozzá +1 struktúra, egy rendezés a testen. (ha létezik egyáltalán).
G.Á. másik csopiban említette hogy különböző nagyon elvont matematikai elméletek jelennnek meg a mechanikában. Tkp a teljes matematika megjelenik a mechanikában, hiszen építhető Turing-gép. (bár más jellegű megjelenésre gondolt. De nem igazán tudom megfogni hogy miben más)
