Gödelscher Satz

<=> System, formales

==> Theorem

<== Berechenbarkeit

==> Axiom

<== Formalisierung