axioms
- Gödel's Incompleteness Theorems: What They Prove
Gödel's incompleteness theorems show that no consistent formal system for basic arithmetic can prove every truth about numbers, or prove its own consistency. - Non-Euclidean Geometry
Consistent geometries that reject or modify Euclid's parallel postulate: hyperbolic and elliptic geometry.