Ciro Santilli
🔗
Formal proof
|
🗖 nosplit
|
↑ parent "Formalization of Mathematics"
|
14
,
2
,
14
🗖 nosplit
|
⇓ toc
|
↑ parent "Formalization of Mathematics"
|
Wikipedia
|
14
,
2
,
14
🔗
A proof in some system for the
formalization of Mathematics
.
🔗
Table of contents
|
14
,
2
,
14
1. Axiom
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal proof"
2. Independence (mathematical logic)
|
🔗 link
|
🗖 nosplit
|
↑ parent "Formal proof"
🔗
Incoming links
Website front-end for a mathematical formal proof system