by Ciro Santilli (@cirosantilli, 36)
It seems to implement Zermelo-Fraenkel set theory.

Ancestors (7)

  1. Zermelo-Fraenkel set theory
  2. Formal system
  3. Formal proof
  4. Formalization of mathematics
  5. Area of mathematics
  6. Mathematics
  7. Home

Incoming links (2)

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 Wikipedia Bot 0 1970-01-01
Read the full article
See all articles in the same topic + Create my own version