Zermelo-Fraenkel axioms/Related Articles

From Citizendium
< Zermelo-Fraenkel axioms
Revision as of 15:31, 11 May 2011 by imported>John R. Brews (→‎Other related topics: Kurt Gödel)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
This article is a stub and thus not approved.
 Main Article
 Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
https://en.citizendium.org/wiki/index.php?title=Zermelo-Fraenkel_axioms/Related_Articles&printable=yes
A list of Citizendium articles, and planned articles, about Zermelo-Fraenkel axioms.
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

Other related topics

  • 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]
Retrieved from "https://citizendium.org/wiki/index.php?title=Zermelo-Fraenkel_axioms/Related_Articles&oldid=759611"