Isang malinaw, mahigpit at masusing pagsasaysay ng:
* Ang Propositional Calculus
* Ang Predicate Calculus
* Itakda ang Teorya
* Ang iba't ibang mga uri ng pagpapatuloy at ang kani-kanilang mga katangian
* Ang iba't ibang mga uri ngnumero: kardinal, ordinal, rational, real, complex, hyper-complex, at transfinite
* ang set-theoretic foundations ng cardinal arithmetic at ang iba't ibang generalizations nito
* ang likas na katangian ng pormal na wika
* diagonalization atHindi Pagkumpleto
* Ang likas na katangian ng lohika at pormal na katotohanan, at
* isang patunay ng hindi pagkumpleto ng anumang ibinigay na sistema ng pagbawas.