axiomatizace
Slova, zkratky a rčení
[Ř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.
Vytvořeno:
14. 3. 2000
Aktualizováno:
25. 5. 2006
Autor: -red-
Odkazující hesla: axióm, axiomatická soustava.