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.