ID photo of Ciro Santilli taken in 2013 right eyeCiro Santilli OurBigBook logoOurBigBook.com $£ Sponsor 中国独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱

Metamath

metamath.org/
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)