nastavit jako výchozí stránku
   
   kultura

Blanchett
 Cate, *14.5.1969 (Clayton, Melbourne, Austrálie), vlastním jménem Catherine Elise Blanchett...

Gott
 Karel, *14.7.1939, český zpěvák pop-music. Vyučil se elektromontérem, v letech 1957–1959...

Kidman
 [Kidmen], Nicole, *20.6.1967 (Honolulu, Havaj, USA), vlastním jménem Nicole Mary Kidman, americká...

Galatíková
 Věra, *19.8.1938 (Zlín) – †21.12.2007 (Kladno), česká herečka. Absolvovala brněnskou JAMU...

Farna
 Ewa, *12.8.1993 (Třinec), česká zpěvačka. Od dětství zpívala v pěveckém sboru, s úspěchem...


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