vollständig, Vollständigkeit

==> Komplexität

<=> NP-komplex

==> Turing-Maschine

<== Mereologie

<== System, formales

==> Kalkül

==> Inferenzregel

<== korrekt, Korrektheit

==> Modelltheorie

<== Inferenzverfahren

<== Deduktion

<== deklarativ

<== Fuzzy-Logik

==> Termersetzungssystem

<== Abgeschlossenheitsannahme

<== Formalisierung