Ciro Santilli
$$ Sponsor Ciro $$
中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
🔗
Formal proof
|
🗖 nosplit
|
↑ parent "Formalization of Mathematics"
|
words:
15
| descendant words:
159
| descendants:
10
🗖 nosplit
|
⇓ toc
|
↑ parent "Formalization of Mathematics"
|
Wikipedia
|
words:
15
| descendant words:
159
| descendants:
10
🔗
A proof in some system for the
formalization of Mathematics
.
🔗
Table of contents
|
15
,
159
,
10
1. Mathematical proof
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal proof"
2. Formal system
|
0
,
41
,
2
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal proof"
2.1. Zermelo-Fraenkel set theory (ZF)
|
25
,
41
,
1
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal system"
2.1.1. Metamath
|
16
|
🔗 link
|
🗖 nosplit
|
↑ parent "Zermelo-Fraenkel set theory"
3. Axiom
|
0
,
90
,
2
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal proof"
3.1. Consistency
|
41
|
🔗 link
|
🗖 nosplit
|
↑ parent "Axiom"
3.2. Independence (mathematical logic)
|
49
|
🔗 link
|
🗖 nosplit
|
↑ parent "Axiom"
4. Conjecture
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal proof"
5. Theorem
|
0
,
13
,
1
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal proof"
5.1. Corollary
|
13
|
🔗 link
|
🗖 nosplit
|
↑ parent "Theorem"
🔗
Ancestors
Formalization of Mathematics
|
457
,
866
,
25
Mathematics
|
17
,
13k
,
336
Ciro Santilli's Homepage
|
262
,
182k
,
3k
🔗
Incoming links
Website front-end for a mathematical formal proof system
|
752