nastavit jako výchozí stránku
   
   kultura

No Name
 Slovenská hudební skupina založená roku 1996 v Košicích ve složení Viliam Gutray (basová kytara...

Vorel
 Tomáš, *2.6.1957 (Praha), český filmový a televizní režisér, scenárista, producent a herec...

4tet
 České vokální kvarteto založené v říjnu roku 2002 z iniciativy Jiřího Korna. Členy...

Bartoška
 Jiří, *24.3.1947 (Děčín), český herec a filmový producent. Po dokončení studií na brněnské JAMU...

Dvořák
 Josef, *25.4.1942 (Horní Cerekev), český herec, komik. Začínal v ochotnickém divadle v ...


axiomatizovatelnost
[Řečtina], vlastnost teorie (množiny vět) spočívající v tom, že existuje taková její podmnožina A, která spolu se svými důsledky tvoří původní množinu vět (teorii). Je-li množina axiómů A konečná, teorie je konečně axiomatizovatelná. Splňuje-li axiomatizovatelná teorie podmínku úplnosti a bezespornosti, pak je rozhodnutelná, to jest pro každou její větu (negaci věty) existuje důkaz.


 
Vytvořeno: 14.3.2000
Aktualizováno: 25.5.2006
Autor:





Texty encyklopedických hesel mohou obsahovat slova nebo slovní spojení, která mohou
být ochrannými známkami nebo registrovanými ochrannými známkami příslušných vlastníků.

© 1999 - 2017, OPTIMUS s.r.o.