Uma exposição clara, rigorosa e completa de:
* O cálculo proposicional
* O cálculo predicado
* Teoria definida
* Os diferentes tipos de continuidade e suas respectivas naturezas de * os diferentes tipos deNúmero: cardeal, ordinal, racional, real, complexo, hiper-complexo e transfinito
* as fundações teóricas da aritmética cardeal e as várias generalizações - a natureza das línguas formais - diagonalização eIncompleteness
* A natureza da lógica e da verdade formal e de
* uma prova da incompletude de qualquer sistema de dedução.
9Apps 4.9
