Прозрачная, строгое и тщательная экспозиция:
Пропозициональный исчисление
* Предикатный исчислений
* Набор теоретических оснований кардинального арифметика и различных обобщений
* Природа формальных языков
* диагонализация иНеполнота
* Природа логики и формальной истины и
* Доказательство неполноты любой данной системы вычета.