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