Ciro Santilli
OurBigBook.com
$£
Sponsor
中国
独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Zermelo-Fraenkel axioms
(ZF)
...
Mathematics
Area of mathematics
Formalization of mathematics
Formal proof
Formal system
Zermelo-Fraenkel set theory
OurBigBook.com
articles: 1
Table of contents
1
Zermelo-Fraenkel axioms with the axiom of choice
(ZFC)
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