Eine klare, strenge und gründliche Darstellung von:
* The Soldositional Calculus
* Der Prädikatkalculus
* Set Theory
* Die verschiedenen Arten von Kontinuität und deren jeweiligen Naturen
* Die verschiedenen Arten vonNummer: Kardinal, Ordinal, Rational, Real, Komplex, Hyperkomplex und Transfinite
* Die set-theoretischen Grundlagen der Kardinalarithmetik und der verschiedenen Verallgemeinerungen davon
* Die Art der formalen Sprachen
* Diagonalisierung undUnvollständigkeit
* Die Art der Logik und der formalen Wahrheit, und
* ein Nachweis der Unvollständigkeit eines gegebenen Systems des Abzugs.
9Apps 4.9
