Theorem

==> System, formales

<== Gödelscher Satz

<== korrekt, Korrektheit

<== Beweis

<== Widerspruchsfreiheit, Konsistenz

<== Theorembeweiser

<== Explosion, kombinatorische

<== Inferenzverfahren

<== Deduktion

<== Formel

<=> Axiom