Aksiooma

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]

1. ↑ Kolmio: perusominaisuudet MatTa-sivusto. 14.10.2008. MatTa-projekti. Viitattu 9.7.2021.