Axiom

<=> Formel

<== Ähnlichkeit

==> Menge

<== Algebra, Boolesche

<=> System, formales

<== Gödelscher Satz

<== korrekt, Korrektheit

<== Abduktion

<== Beweis

<=> Theorem

<=> Deduktion