Back to Results
First PageMeta Content
Set theory / Type theory / Model theory / Z notation / Automath / Axiom of choice / Axiom schema of replacement / New Foundations / Axiom / Mathematical logic / Logic / Mathematics


Is ZF a hack? Comparing the complexity of some (formalist interpretations of )
Add to Reading List

Document Date: 2008-04-30 04:22:51

Open Document

File Size: 162,33 KB

Share Result on Facebook
UPDATE