CoJeCo

Datum od:
Datum do:

Kategorie:

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.

Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!