Ancestors
- Zermelo-Fraenkel axioms
- Zermelo-Fraenkel set theory
- Formal system
- Formal proof
- Formalization of mathematics
- Area of mathematics
- Mathematics
- Index
Synonyms
Discussion (0)
Sign up or sign in create discussions.There are no discussions about this article yet.