nastavit jako výchozí stránku
   
   kultura

Frühlingová
 Iva, *11.5.1982 (Litvínov), česká modelka a zpěvačka. Ve čtrnácti letech odcestovala díky...

Hegerová
 Hana, *20.10.1931 (Bratislava), vlastním jménem Carmen Farkašová, česká zpěvačka a herečka...

Graham
 Benjamin, *8.5.1894 (Londýn) – †21.9.1976, americký ekonom a investor. Od mládí žil...

Jackson
 [Džeksn], Samuel L., *21.12.1948 (Washington, USA), vlastním jménem Samuel Leroy Jackson, americký...

Bridges
 Jeff, *4.12.1949 (Los Angeles, USA), americký filmový herec. Již jako dítě účinkoval v televizních...


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 - 2018, OPTIMUS s.r.o.