एक स्पष्ट, कठोर और पूरी तरह से प्रदर्शनी:
* प्रस्तावात्मक कैलकुस
* विधेय कैलकुस
* सेट सिद्धांत
* विभिन्न प्रकार के निरंतरता और उनके संबंधित प्रकृति
* विभिन्न प्रकार केसंख्या: कार्डिनल, क्रमिक, तर्कसंगत, वास्तविक, जटिल, हाइपर-कॉम्प्लेक्स, और ट्रांसफाइंड
* कार्डिनल अंकगणित की सेट-सैद्धांतिक नींव और इसके विभिन्न सामान्यीकरण
* औपचारिक भाषाओं की प्रकृति
* विकर्णकरण औरअपूर्णता
* तर्क और औपचारिक सत्य की प्रकृति, और
* कटौती की किसी भी प्रणाली की अपूर्णता का सबूत।
9Apps 4.9
