nastavit jako výchozí stránku
   
   kultura

Benedikta
 Česká hudební world music skupina působící od roku 1995, o dva roky později se...

Asimov
 Isaac, *2.1.1920 – †6.4.1992, americký spisovatel ruského původu. Vystudoval biochemii a ...

Muk
 Petr, *4.2.1965 (Český Krumlov) – †24.5.2010 (Praha), český zpěvák a hudebník. Vystudoval...

Křižan
 Jiří, *26.10.1941 (Valašské Meziříčí, tehdejší protektorát Čechy a Morava) – †13.10.2010...

Sidon
 Karol Efraim, *9.8.1942 (Praha), vlastním jménem Karol Sidon, český spisovatel a scenárista...


axiomatizace
[Řečtina], způsob výstavby vědeckého systému, poprvé realizovaný v geometrii Euklidem. Při axiomatizaci se vyčleňuje podmnožina základních, v daném systému nedokazovaných vět (axiómů), z nichž jsou odvozovány ostatní jeho věty (takzvané teorémy). Z metateoretického hlediska se kladou na axiomatizaci různé požadavky (zejména bezespornosti a úplnosti), při jejichž splnění se systém stává axiomatickou soustavou.


 

Odkazující hesla: axióm, axiomatická soustava
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.