Ciro Santilli
OurBigBook.com
$£
Sponsor
中国
独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Set theory
Home
Mathematics
Area of mathematics
Formalization of mathematics
Formal proof
Formal system
OurBigBook.com
Words: 44
Articles: 3
When
Ciro Santilli
says
set theory
, he basically means.
Zermelo-Fraenkel set theory
.
Table of contents
44
3
Zermelo-Fraenkel set theory
Set theory
37
2
Zermelo-Fraenkel axioms
Zermelo-Fraenkel set theory
1
Zermelo-Fraenkel axioms with the axiom of choice
Zermelo-Fraenkel axioms
Ancestors
(6)
Formal system
Formal proof
Formalization of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(2)
Set theory
Type theory