Ciro Santilli
OurBigBook.com
$£
Sponsor
中国
独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Formal system
Home
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
(5)
Formal proof
Formalization of mathematics
Area of mathematics
Mathematics
Home
Synonyms
(1)
Formal proof system
Ciro Santilli
OurBigBook.com