Un'esposizione chiara, rigorosa e approfondita di:
* Il calcolo proposizionale
* Il predicato calcolo
* Set teoria
* I diversi tipi di continuità e le loro rispettive natures
* I diversi tipi diNumero: cardinale, ordinale, razionale, reale, complesso, iper-complesso e trasfinito
* Le istituzioni del set-teoretico delle aritmetiche del cardinale e delle varie generalizzazioni
* La natura delle lingue formali
* DiagonAlizzazione eIncompletezza
* La natura della logica e della verità formale e
* una prova dell'incompletezza di un dato sistema di deduzione.
9Apps 4.9
