Bocs, csak egy részletkérdés:
Te hol találkoztál a Minkowski-geometria elsőrendű logikai elméletként való formalizálásával?