Enzyklopädie > E > Endlichkeitssatz
Endlichkeitssatz
Der Endlichkeitssatz, auch Kompaktheitssatz genannt, ist einer der wichtigsten Sätze der Logik und Modelltheorie erster Stufe. Er besagt: Eine (möglicherweise unendliche) Formelmenge X der Logik der ersten Stufe ist genau dann erfüllbar (d.
Mehr Informationen (Wikipedia)
Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.
Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.Encyklopedie (cz) Encyklopédia (sk) Encyclopedia (en)