“Moreover, the geometries axiomatized in the book have consistent and decidable extensions, namely, Euclidean or hyperbolic geometry over real-closed fields.”
New Story Writing Game!
Win Amazon gift cards by writing simple stories at Fictish,
a new story writing game backed by WordHippo.