Zermelo-Fraenkel axioms/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>John R. Brews (Parent topics) |
mNo edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| 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}} | |||
==Articles related by keyphrases (Bot populated)== | |||
{{r|Continuum hypothesis}} | |||
Latest revision as of 12:00, 10 November 2024
- 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; considered to be one of the most important figures in mathematical logic in modern times. [e]
- Proof assistant [r]: A computer program used interactively for developing human-readable reliable mathematical documents in a formal language. [e]
- Continuum hypothesis [r]: A statement about the size of the continuum, i.e., the number of elements in the set of real numbers. [e]