Prenexní tvary.
Bezespornost teorií.
Důkazový aparát — axiomy, odvozovací pravidla, lemmata.
příklady
