Axiomatikus térelméletek címen hallgattam pár órát, ott hasonló dolgokról volt szó, a különbség annyi, hogy ott nem csak a Minkovszki-geometriát formalizáltuk, hanem a Klein-féle csoportosítással összefüggésben felvázoltunk egy olyan elsőredű elméletet, amelyből meghatározott paraméter megváltoztatásával minden geometria axiomatikusan előállítható.