OurBigBook
About
$
Donate
Sign in
Sign up
Zermelo-Fraenkel axioms
(ZF)
Ciro Santilli
(
@cirosantilli,
37
)
...
Mathematics
Area of mathematics
Formalization of mathematics
Formal proof
Formal system
Zermelo-Fraenkel set theory
Updated
2025-07-16
0
Like
0 By others
on same topic
0 Discussions
Create my own version
Table of contents
Zermelo-Fraenkel axioms with the axiom of choice
Zermelo-Fraenkel axioms
Zermelo-Fraenkel axioms with the axiom of choice
(ZFC)
0
0
0
Zermelo-Fraenkel axioms
Ancestors
(7)
Zermelo-Fraenkel set theory
Formal system
Formal proof
Formalization of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(1)
Conjecture reduction to a halting problem
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version