Zermelo-Fraenkel axioms/Related Articles
Jump to navigation
Jump to search
- See also changes related to Zermelo-Fraenkel axioms, or pages that link to Zermelo-Fraenkel axioms or to this page or whose text contains "Zermelo-Fraenkel axioms".
Parent topics
- Set (mathematics) [r]: Informally, any collection of distinct elements. [e]
- Set theory [r]: Mathematical theory that models collections of (mathematical) objects and studies their properties. [e]
Subtopics
- Kurt Gödel [r]: (1906-1978) Austrian born American mathematician, most famous for proving that in any logical system rich enough to describe naturals, there are always statements that are true but impossible to prove within the system. [e]
- Proof assistant [r]: A computer program used interactively for developing human-readable reliable mathematical documents in a formal language. [e]