teorém

Matematika

[Řečtina], logika a matematika tvrzení dokázané v dané axiomatické soustavě aplikací pravidel odvozování na axiómy dané soustavy.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 25. 5. 2006
Autor: -red-

Odkazující hesla: axióm, axiomatizace, Gödelův teorém o úplnosti, teorém Churchův.

Reklama: