This is an old revision of the document!
Foundational temp1b
foundational_temp1b $\succ$ $\succ$ foundational_temp1b |
Guide
Fixing framework and axiomatics
After this entry, the chain of definitions start
- List types
- Fix Axiomatization of Cats
- Fix Axiomatization of (Grothendieck-Tarski) set theory