Showed that much of Euclidean solid geometry could be recast as a second-order theory whose individuals are spheres (a primitive notion), a single primitive binary relation "is contained in", and two axioms that, amon
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event