Jasna, rygorystyczna i gruntowna ekspozycja:
* rachunku propozycjonalnego
* Korktorium predykatu
* Ustaw teorię
* Różne rodzaje ciągłości i ich natury
* różne rodzajeNumer: kardynał, porządek, racjonalny, realny, złożony, hiperkompleksowy i transfinit
* ustawienia teoretycznych fundamentów arytmetyków kardynalnych i różnych ich uogólnień
* charakter języków formalnych
* diagonalizacji iNiekompletność
* charakter logiki i formalnej prawdy, a
* dowodem niekompletności każdego systemu odliczenia.
9Apps 4.9
