Ciro Santilli
🔗
Formal proof
|
🗖 nosplit
|
↑ parent "Formalization of Mathematics"
|
15
,
144
,
8
🗖 nosplit
|
⇓ toc
|
↑ parent "Formalization of Mathematics"
|
Wikipedia
|
15
,
144
,
8
🔗
A proof in some system for the
formalization of Mathematics
.
🔗
Table of contents
|
15
,
144
,
8
1. Formal system
|
0
,
39
,
2
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal proof"
1.1. Zermelo-Fraenkel set theory (ZF)
|
25
,
39
,
1
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal system"
1.1.1. Metamath
|
14
|
🔗 link
|
🗖 nosplit
|
↑ parent "Zermelo-Fraenkel set theory"
2. Axiom
|
0
,
90
,
2
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal proof"
2.1. Consistency
|
41
|
🔗 link
|
🗖 nosplit
|
↑ parent "Axiom"
2.2. Independence (mathematical logic)
|
49
|
🔗 link
|
🗖 nosplit
|
↑ parent "Axiom"
3. Conjecture
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal proof"
4. Theorem
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal proof"
🔗
Ancestors
Formalization of Mathematics
|
439
,
818
,
20
Mathematics
|
17
,
10k
,
260
Ciro Santilli's Homepage
|
238
,
154k
,
2k
🔗
Incoming links
Website front-end for a mathematical formal proof system
|
718