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