Semantische Vollständigkeit

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eigenschaft eines deduktiven Systems, dass jede Formel, die semantisch gültig ist (in allen Modellen der Semantik des Systems wahr), innerhalb des Beweissystems beweisbar ist.