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í
- Zermelo-Fraenkelova teorie množin
- Von Neumann-Gödel-Bernaysova teorie množin
- Peanova aritmetika
- Robinsonova aritmetika
- Formální teorie grup
- prázdná teorie - teorie, která nemá žádné vlastní axiomy (v logice s rovností se tato teorie nazývá Teorie čisté rovnosti).
[editovat] Podívejte se také na
 |
Související články obsahuje: |
