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

Zermelo-Fraenkel set theory (ZF)

| 🗖 nosplit | ↑ parent "Formal system" | words: 25 | descendant words: 41 | descendants: 1
🔗
One of the first formal proof systems. This is actually understandable!
🔗
TODO what are its limitations? Why were other systems created?
🔗
🔗

Ancestors

🔗