Andrej Tomše: Izreka o kompaktnosti in popolnosti v logiki prvega reda

Povzetek: Izreka o popolnosti in o kompaktnosti v logiki prvega reda sta osnovna izreka na področju logike in spadata v "splošno znanje" logike. Izrek o popolnosti pravi, da je teorija neprotislovna natanko tedaj, ko ima model. Izrek o kompaktnosti pa trdi, da ima teorija model natanko tedaj, ko ima model vsaka njena končna podteorija.

Vabljeni!