Aksiooma on matematiikassa peruskäsitteiden epäsuora määritelmä, jota käytetään päättelyssä muiden tulosten todistamiseen.
Matematiikassa mikä tahansa ristiriidaton lausejoukko voidaan asettaa aksioomajärjestelmäksi. Toivottavaa on, että aksioomia ei voida johtaa toisista aksioomista vaan että aksioomajoukko on pienin mahdollinen peruskäsitteiden määrittelemiseen riittävä lausejoukko.
Toivottavaa on myös, että aksioomista voidaan johtaa mahdollisimman paljon lauseita. Aksioomien lisäksi tarvitaan päättelysääntöjä. Matematiikassa päättelysääntöinä käytetään enimmäkseen logiikan päättelysääntöjä. Myös logiikka on aksiomatisoitu. On myös eräitä yksinkertaisia logiikan järjestelmiä, jotka tulevat toimeen pelkillä päättelysäännöillä (Suppesin kehittämä logiikka).
Tunnettu ja matematiikan kehitykseen vaikuttanut aksiooma on euklidisen geometrian paralleeliaksiooma eli yhdensuuntaisuusaksiooma: annetun pisteen kautta voidaan piirtää täsmälleen yksi annetun suoran suuntainen suora. Tämän aksiooman epäiltiin pitkään olevan seurausta muista geometrian aksioomista. Myöhemmin on todistettu, ettei näin ole, ja kehitetty geometrioita, joissa paralleeliaksiooma ei ole voimassa. Tällainen epäeuklidinen geometria ei esimerkiksi sisällä lausetta "kolmion kulmien summa on 180 astetta".[1]
Katso myös
- Peruslause
- Kalkyyli
Lähteet
Aiheesta muualla
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.
