nastavit jako výchozí stránku
   
   kultura

Poe
 [Pou], Edgar Allan, *19.1.1809 (Boston) – †7.10.1849 (Baltimore), americký romantický básník...

Szabó
 [Sabó], István, *18.2.1938 (Budapešť, Maďarsko), maďarský filmový, televizní a divadelní...

Visací zámek
 Česká hudební punková skupina vzniklá roku 1982. Dodnes hraje v původní sestavě: Jan Haubert...

Newell
 Mike, *28.3.1942 (St. Albans, Hertfordshire, Velká Británie), vlastním jménem Michael Cormac Newell...

Stone
 [Stoun], Sharon, *10.3.1958 (Meadville, Pensylvánie, USA), americká filmová herečka. Studovala...


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.