axiomatisointia

Axiomatisaatio (axiomatisointi) on prosessi, jossa formalisoidaan järjestelmä määrittelemällä sen kieli, joukko aksioomia sekä päättelysäännöt, joiden perusteella teoreemat ovat johdettavissa. Tavoitteena on saavuttaa selkeä, napakka ja tarkasti määritelty perusta, jonka varaan muut väitteet voidaan systemaattisesti johtaa.

Historian ja käytännön kannalta keskeisiä esimerkkejä ovat klassinen geometria, jonka Euclidisen rakenteen aksioomat toivat geometrian peruspohjan, sekä myöhemmin Peano-aksioomat luonnollisille luvuille ja Zermelo–Fraenkelin setttiteorian (ZFC) kaltainen laajempi perustava aksiomaattinen järjestelmä matematiikalle. Axiomatisaatio mahdollistaa sekä tarkemman analyysin että mahdollisuuden automaation ja mittausten hyödyntämisen eli todistusten systemaattisen tarkastelun.

Keskeisiä käsitteitä ovat sekä muodollinen kieli (symboliikka ja syntaksi), aksioomat, päättelysäännöt sekä teoreemien muodostuminen. Tärkeitä on myös aksioomien riippumattomuus (onko jokin aksiooma johdettavissa muista aksioomista) sekä konsistenssi (ei johda sekä totta että falsoa samaan aikaan). Ylikatsauksen tasolla keskustellaan usein suhteellisesta konsistenssista ja malleista: järjestelmä voi olla riittävän johdonmukainen, vaikka sen malleja ei löytyisikään intuitiivisesta maailmasta.

Axiomatisaation rajoja arvioidaan Gödelin epätäydellisyyslauseiden valossa: ei yhtä täydellistä aksioomijärjestelmää kaikille matemaattisille totuuksille, eikä sisäisiä todistuksia konsistenssista. Axiomatisaatio on kuitenkin keskeinen työkalu matematiikan ja logiikan perustan, käytännön laskennan sekä filosofisessa keskustelussa.