Beweis

==> Logik

==> Kalkül

<== Konnektionsmethode

==> Theorem

<=> Beweisen, automatisches

<== Klauselgrammatik, definite

==> Deduktion

==> Sprache, formale

==> Axiom