Endliche Modell-Eigenschaft
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Eine Eigenschaft einer formalen Logik oder Theorie, die besagt, dass jede erfüllbare Formel oder Aussage ein endliches Modell besitzt.