Formální teorie

Z Wikipedie, otevřené encyklopedie

Tento článek je o formální teorii jako o pojmu matematické logiky. O teorii jako o filosofickém pojmu se dozvíte zde.

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á.

[editovat] Definice

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

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

[editovat] Podívejte se také na

Související články obsahuje:
 Portál Matematika