Úplná teorie

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

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[editovat | editovat zdroj]