úplná teorie

Ceská Wikipedie- Bezplatná encyklopedie

Download this dictionary

Úplná teorie

V matematické logice se pojmem úplná teorie oznacuje teorie, která je bezesporná a která pro každou sentenci

obsahuje

nebo

.

Více na Wikipedia.org...

© Tento clánek používá materiály z Wikipedia^® a je licencovaný pod GNU Free Documentation License a dispozici za podmínek licence Creative Commons Uvedte autora-Zachovejte licenci