Zermelo-Fraenkel axioms/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>John R. Brews (Parent topics) |
imported>John R. Brews (→Other related topics: Kurt Gödel) |
||
Line 18: | Line 18: | ||
==Other related topics== | ==Other related topics== | ||
<!-- List topics here that are related to this topic, but neither wholly include it nor are wholly included by it. --> | <!-- List topics here that are related to this topic, but neither wholly include it nor are wholly included by it. --> | ||
{{r|Kurt Gödel}} | |||
{{r|Proof assistant}} |
Latest revision as of 15:31, 11 May 2011
- 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]