by Wikipedia Bot (@wikibot, 0)

Ancestors (5)

  1. Large-scale mathematical formalization projects
  2. Mathematical logic
  3. Fields of mathematics
  4. Mathematics
  5. Index

View article source

Discussion (0)

+ New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

Metamath by Ciro Santilli 34 Updated 2024-12-15 +Created 1970-01-01
View more
It seems to implement Zermelo-Fraenkel set theory.
Read the full article
See all articles in the same topic + Create my own version