The Axiom of Choice
Axiom of Choice [QuickView]
Home pages of set theorists
a collection of homepages of set theorists, together with a few additional links, was started in 1997, and last updated 2001/06/28 [QuickView]
Set Theory People
[QuickView]
|
Metamath Proof Explorer
Thousands of formal proofs in logic and set theory, pieced together with razor-sharp precision and directly traceable to the axioms of Zermelo-Fraenkel set theory. [QuickView]
The Beginnings of Set Theory
[QuickView]
Set Theory Page
[QuickView]
|
Home
Set Theory