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

Formal system

Table of contents 83 5
- Set theory Formal system 44 3
  - Zermelo-Fraenkel set theory Set theory 37 2
    - Zermelo-Fraenkel axioms Zermelo-Fraenkel set theory 1
      - Zermelo-Fraenkel axioms with the axiom of choice Zermelo-Fraenkel axioms
- Type theory Formal system 39

 Ancestors (5)

 Synonyms (1)

Formal proof system