Remove ads
Aksioma (gr. axioma) – pradinis dedukcinės teorijos teiginys, priimamas be įrodymo.[1]
Aksiomos gali būti loginės ir neloginės. Loginės aksiomos išplaukia iš matematinės logikos. Neloginės aksiomos išplaukia iš pačios matematinės teorijos esmės (angl. nature of the theory itself). Jos gali būti arba nebūti akivaizdžios. Neakivaizdžios, bet būtinos neloginės aksiomos pavyzdys yra lygiagretumo postulatas.[2]
Vienos ar kitos aksiomos pripažinimo pasekmių analizė vadinama aksiomatizacija. Atvirkščias procesas (aksiomų kūrimas iš sukauptų žinių) vadinamas teorizacija.[2]
Likę matematiniai teiginiai įrodomi naudojantis apibrėžimais ir sutartomis aksiomomis.
Remove ads
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
Remove ads