Úplná teorie

V matematické logice se pojmem úplná teorie označuje teorie, která je bezesporná a která pro každou sentenci $S$ obsahuje $S$ nebo $\neg S$ .

[editovat] Související články

Tento článek je příliš stručný nebo v něm chybí důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte.