Een duidelijke, rigoureuze en grondige expositie van:
* The Propositional Calculus
* The Predicate Calculus
* Set Theory
* De verschillende soorten continuïteit en hun respectievelijke Natures
* De verschillende soortenNummer: Kardinaal, Ordinaal, Rationeel, Echt, Complex, Hyper-complex en Transfinite
* De set-theoretische basis van kardinaal rekenkundig en de verschillende generalisaties daarvan
* De aard van formele talen
* diagonalisatie enOnvolledigheid
* De aard van logica en formele waarheid, en
* een bewijs van de onvolledigheid van een bepaald systeem van aftrek.
9Apps 4.9
