nastavit jako výchozí stránku
   
   kultura

Team
 Slovenská martinská hudební skupina založená roku 1980 kytaristou Dušanem Antalíkem a ...

Vorlíček
 Václav, *3.6.1930 (Praha), český filmový a televizní režisér a scenárista. V letech...

Fulghum
 Robert, *4.6.1937 (Waco, Texas), americký spisovatel. V mládí vystřídal řadu různých zaměstnání...

Styron
 [Stajrn], William Clark, *11.6.1925 (Newport News, Virginia) – †1.11.2006 (Martha's Vineyard...

Curtis
 Richard, *8.11.1956 (Velká Británie), britský filmový herec, scenárista a režisér. Prosadil se...


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.