Une exposition claire, rigoureuse et approfondie de:
* Le calcul propositionnel
* Le calcul du prédicat
* Set Théorie
* Les différents types de continuité et leurs natures respectives
* Les différents types deNuméro: cardinal, ordinal, rationnel, réel, complexe, hyper-complexe et transfini de
* Les fondements théoriques de l'arithmétique cardinal et les différentes généralisations de ceux-ci sont * La nature des langues formelles
* La diagonalisation etIncompleté
* La nature de la logique et de la vérité formelle, et de
* une preuve de l'incomplétude de tout système de déduction donné.
9Apps 4.9
