Entscheidbare Theorie

- Pure Mathematics -
Algebra Dictionary
Eine Theorie ist entscheidbar, wenn es einen Algorithmus gibt, der für jede Formel in der Sprache der Theorie in endlicher Zeit entscheidet, ob diese Formel eine Folgerung der Theorie ist (also zur Menge der Theoreme der Theorie gehört).