Verze z 15. 1. 2007, 06:27 editovat SinBot (diskuse \| příspěvky) 22 151 editací m oprava odkazu na rozcestník nebo redirect, Von Neumann-Gödel-Bernaysova teorie množin → Von Neumann-Bernays-Gödelova teorie množin ← Přejít na předchozí porovnání		Verze z 1. 4. 2007, 23:13 editovat zrušit editaci Glivi (diskuse \| příspěvky) 3 556 editací šablona různé významy Přejít na další porovnání →
Řádek 1: ~~''Tento článek je o formální teorii jako o~~{{Různé významy\|tento=pojmu [[matematická logika\|matematické logiky]]~~. O teorii jako o~~ \|druhý=[[filosofie\|filosofickém]] pojmu ~~se dozvíte [[~~\|stránka=teorie~~\|zde]].''~~}} '''Formální teorie''' je jeden z nejdůležitějších pojmů [[matematická logika\|matematickologické]] syntaxe. Mnoho [[matematika\|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á.

Formální teorie: Porovnání verzí