Ú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 která pro každou sentenci S obsahuje S nebo \neg S.

Související články[editovat | editovat zdroj]