System, formales

<== Modellierung, kognitive

<== Alphabet

<== Formalismus

<=> Gödelscher Satz

<== Kalkül

<== Inferenzregel

<=> korrekt, Korrektheit

==> Logik

<== Symbolverarbeitung

<== Theorem

<== Widerspruchsfreiheit, Konsistenz

<== Explosion, kombinatorische

==> vollständig, Vollständigkeit

==> Teilmenge, Untermenge

<== Inferenz

==> Deduktion

<== Kognition

<== Wissen und Wissensrepräsentation

<=> Axiom

==> Ableitung

<== Formalisierung