Úplná teorie

Z Wikipedie, otevřené encyklopedie

Skočit na: Navigace, Hledání

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

[editovat] Související články

V jiných jazycích