Formální teorie

Z Wikipedie, otevřené encyklopedie
(přesměrováno z Teorie (logika))
Skočit na: Navigace, Hledání
Tento článek je o pojmu matematické logiky. O filosofickém pojmu pojednává článek teorie.

Formální teorie je jeden z nejdůležitějších pojmů matematickologické syntaxe. Mnoho matematických teorií může být formalizováno volbou vhodných axiomů. Některé teorie existují pouze jako teorie formální. Příkladem může být teorie množin, jejíž neformalizovaná podoba - tzv. naivní teorie množin je sporná.

Definice[editovat | editovat zdroj]

Teorie v jazyce L je každá množina T formulí jazyka L. Prvky T se nazývají (vlastní) axiomy T.

Příklady formálních teorií[editovat | editovat zdroj]

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