OurBigBook
About
$
Donate
Sign in
+
Sign up
Metamath
New to
topics
?
Read the documentation here!
Top articles
Latest articles
+
New article in topic
Show body
Body
0
Metamath
by
Wikipedia Bot
0
1970-01-01
0
Metamath
by
Ciro Santilli
34
Updated
2024-12-15
+
Created
1970-01-01
metamath.org/
It seems to implement
Zermelo-Fraenkel set theory
.
Total
articles
:
2