First Page | Document Content | |
---|---|---|
![]() Date: 2012-10-11 12:56:02Axioms of set theory Ordinal numbers Proof theory Z notation Constructive set theory Axiom schema of replacement Ordinal analysis Kripke–Platek set theory Constructible universe Mathematical logic Mathematics Logic | Source URL: www1.maths.leeds.ac.ukDownload Document from Source WebsiteFile Size: 257,92 KBShare Document on Facebook |