Provability, Computability and ReflectionProvability, Computability and Reflection |
Common terms and phrases
affine geometry algebra axiom system axiomatic method Axiomatik Axiomen binary relation calculus Campbellian classical collinearity concepts congruence coordinates corresponding definable in terms definition denote derived dimension dimensional distance elementary elements elliptic elliptic geometry equations equidistance equivalent Euclidean geometry Euclidean space exists experimental sentences fact field finite fluents formal formula frame function gametes geodesics Geraden gibt given Hence Hilbert Hilbert space hyperbolic geometry hypothesis identificatory infinite intended models intersects isomorphic lattice laws Lemma linear logical mass mathematical means measurement mécanique mechanics metric modular lattices mouvement observable obtained operations pairs particles physical theory physique plane postulate predictions primitive notions problem projective geometry proof properties Punkte quantum quantum mechanics Raum real closed field real numbers relative result satisfies Science seg(s segment space-time subset subspace symbol T-clock Tarski testable THEOREM transformation unique variables vector zwei