Úplná teorie
Z Wikipedie, otevřené encyklopedie
V matematické logice se pojmem úplná teorie označuje teorie, která pro každou sentenci S obsahuje S nebo
.
V matematické logice se pojmem úplná teorie označuje teorie, která pro každou sentenci S obsahuje S nebo
.