Ciro Santilli
$$ Sponsor Ciro $$
中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Formal proof
"Formalization of mathematics"
nosplit
toc
words:
141
wiki
A proof in some system for the
formalization of mathematics
.
Table of contents
141
Mathematical proof
link
nosplit
"Formal proof"
0
Formal system
link
nosplit
"Formal proof"
0
Zermelo-Fraenkel set theory (ZF)
link
nosplit
"Formal system"
37
Set theory
link
nosplit
"Zermelo-Fraenkel set theory"
7
Metamath
link
nosplit
"Zermelo-Fraenkel set theory"
5
Axiom
link
nosplit
"Formal proof"
0
Consistency
link
nosplit
"Axiom"
35
Independence (mathematical logic)
link
nosplit
"Axiom"
36
Conjecture
link
nosplit
"Formal proof"
0
Theorem
link
nosplit
"Formal proof"
0
Corollary
link
nosplit
"Theorem"
13
Ancestors
Formalization of mathematics
Mathematics
Ciro Santilli's Homepage
Incoming links
Website front-end for a mathematical formal proof system