Net, titiz ve kapsamlı bir açıklama:
* önerme hesabı
* Tahliye hesabı
* Set teorisi
* Farklı süreklilik türleri ve bunların ilgili doğaları
* Farklı türleriSayı: Kardinal, sıra, rasyonel, gerçek, karmaşık, hiper-kompleks ve transfinit
* Kardinal aritmetik ve bunların çeşitli genellemelerinin set-teorik temelleri
* Örgün dillerin niteliği
* Çaprazlaştırma veEksiklik
* Mantık ve resmi gerçeklerin doğası ve
* Herhangi bir kesinti sisteminin tamamlanmasının bir kanıtı.