Ciro Santilli
$$ Sponsor Ciro $$
中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
🔗
Axiom
|
🗖 nosplit
|
↑ parent "Formal proof"
|
words:
0
| descendant words:
90
| descendants:
2
🗖 nosplit
|
⇓ toc
|
↑ parent "Formal proof"
|
Wikipedia
|
words:
0
| descendant words:
90
| descendants:
2
🔗
Table of contents
|
0
,
90
,
2
1. Consistency
|
41
|
🔗 link
|
🗖 nosplit
|
↑ parent "Axiom"
2. Independence (mathematical logic)
|
49
|
🔗 link
|
🗖 nosplit
|
↑ parent "Axiom"
🔗
Ancestors
Formal proof
|
15
,
159
,
10
Formalization of Mathematics
|
457
,
866
,
25
Mathematics
|
17
,
13k
,
336
Ciro Santilli's Homepage
|
262
,
182k
,
3k
🔗
Incoming links
Consistency
|
41
Formalization of Mathematics
|
457
,
866
,
25
Independence
|
49