OurBigBook
.com (beta)
About
$ Donate
Sign in
Sign up
by
Ciro Santilli
(@cirosantilli,
31
)
Metamath
metamath.org/
It seems to implement
Zermelo-Fraenkel set theory
.
Ancestors
Zermelo-Fraenkel set theory
Formal system
Formal proof
Formalization of mathematics
Area of mathematics
Mathematics
Index
Incoming links
Propositional logic
Website front-end for a mathematical formal proof system
Discussion (0)
Subscribe (1)
Sign up
or
sign in
create discussions.
There are no discussions about this article yet.
View article source