Eksposisi yang jelas, ketat, dan menyeluruh * Kalkulus proposisional
* Kalkulus predikat
* mengatur teori
* Berbagai jenis kontinuitas dan sifatnya masing-masing
* Berbagai jenisNomor: kardinal, ordinal, rasional, nyata, kompleks, hyper-kompleks, dan transfinite
* Yayasan set-teori aritmatika kardinal dan berbagai generalisasi
* sifat bahasa formal dan diagonalisasiKetidaklengkapan
* Sifat logika dan kebenaran formal, dan
* Bukti dari ketidaklengkapan dari setiap sistem pengurangan tertentu.
9Apps 4.9
