korrekt, Korrektheit

<=> System, formales

==> Aussagenlogik

<== Abduktion

==> Prädikatenlogik

==> Theorem

<== Algorithmus

==> vollständig, Vollständigkeit

==> Terminierung

==> Programm

<== Systemevaluation

<== Inferenzverfahren

<== Deduktion

<== deklarativ

<== Fuzzy-Logik

==> Formel

==> Axiom

<== Abgeschlossenheitsannahme