Úplná teorie
V matematické logice se pojmem úplná teorie označuje teorie, která je bezesporná a jejíž každé rozšíření je sporné. V klasické logice to je ekvivalentní tvrzení, že pro každou sentenci obsahuje nebo .
Podle lemmatu Lindenbauma lze každou bezespornou teorii rozšířit na bezespornou úplnou teorii, tj.
kde Cn je operátor konsekvence.
Související články
![]() | Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty. |