teorém
Matematika
[Řečtina], logika a matematika tvrzení dokázané v dané axiomatické soustavě aplikací pravidel odvozování na axiómy dané soustavy.
Vytvořeno:
14. 3. 2000
Aktualizováno:
25. 5. 2006
Autor: -red-
Odkazující hesla: axióm, axiomatizace, Gödelův teorém o úplnosti, teorém Churchův.