axiomatizace

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


zpět