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

Zermelo-Fraenkel set theory (ZF)

| 🗖 nosplit | ↑ parent "Formal system" | words: 57 | descendant words: 101 | descendants: 2
🔗
One of the first formal proof systems. This is actually understandable!
🔗
This is Ciro Santilli-2020 definition of the foundation of mathematics (and the only one he had any patience to study at all).
🔗
TODO what are its limitations? Why were other systems created?
🔗
🔗

Ancestors

🔗