Logika matematyczna oraz teoria mnogości wymaga wprowadzenia wielu nowych pojęć, symboli, działań. Dzięki wprowadzeniu specjalnego języka matematycznego można oceniać prawdziwość twierdzeń, własności, a nawet całych teorii.
W opracowaniu znajdują się przykłady z rachunku zdań, algebry zbiorów, relacji, funcji zdaniowych, rachunku kwantyfikatorów oraz działań nieskończonych.
