Aksioom

Aksioom ehk postulaat on matemaatikas väide, mis võetakse tõestuseta aluseks deduktiivse teooria ülejäänud väidete tuletamiseks.Cf. axiom, n., etymology. Oxford English Dictionary, accessed 2012-04-28.Oxford American College Dictionary: "n. a statement or proposition that is regarded as being established, accepted, or self-evidently true. ORIGIN: late 15th cent.: ultimately from Greek axiōma 'what is thought fitting,' from axios 'worthy.' http://www.highbeam.com/doc/1O997-axiom.html 

Üldkeeles on aksioom väide, mille tõesuses pole kahtlust.

Olenevalt kontekstist, võib mõistele omastada erinevaid tähendusi. Klassikalises filosoofias määratletuna tähendab aksioom väidet, mis on nii ilmne või hästi väljendatud, et seda võetakse tõena selles kahtlemata."A proposition that commends itself to general acceptance; a well-established or universally conceded principle; a maxim, rule, law" axiom, n., definition 1a. Oxford English Dictionary Online, accessed 2012-04-28. Cf. Aristotle, Posterior Analytics I.2.72a18-b4. Kaasaegses matemaatilises loogikas tähistab aksioom aga arutluse eeldust või selle alguspunkti."A proposition (whether true or false)" axiom, n., definition 2. Oxford English Dictionary Online, accessed 2012-04-28.

Matemaatikas kasutatakse mõistet aksioom kahes omavahel seotud, kuid üksteisest erinevas tähenduses: loogilised aksioomid ja loogikavabad aksioomid. Loogilised aksioomid on tavaliselt väited, mille tõesus on eeldatud selles loogikasüsteemis, kus nad defineeruvad, ning mida tihti esitatakse sümbolkujul (nt (A ja B) järeldub A). Loogikavabad aksioomid (nt ) on aga sisulised väited kindla matemaatilise teooria (nt aritmeetika) valdkonna elementide kohta. Üldiselt ei ole loogikavaba aksioom iseenesestmõistetav tõde, vaid pigem formaalne loogiline väljendus, mida kasutatakse deduktiivse teooria ülesehitamiseks.

Teadmiste süsteemi aksiomatiseerima tähendab näitama, et selle süsteemi väited tulenevad lihtsatest ja arusaadavatest lausetest ehk aksioomidest. Mõlemas tähenduses on aksioom matemaatiline väide, mis on teiste loogiliselt tuletatud väidete lähtepunktiks.See for example  for a realist view.

Matemaatiline loogika
Matemaatilises loogikas eristatakse kahte aksioomitüüpi: loogiline aksioom ja loogikavaba aksioom.

Loogilised aksioomid
Need on formaalses keeles kindlad valemid, mis on üldkehtivad, st valemid, mida rahuldavad ükskõik millised väärtused.

Näited
Lausearvutus
Lausearvutuses on tavaks loogilisteks aksioomideks võtta kõik valemid järgmistest vormidest, kus , , ja  võivad olla mis tahes keele valemid ja kus lauseloogika formaalse keele konnektorid on ainult kas "" vahetult järgneva propositsiooni ehk lause eitamiseks või "" implikatsioon eelnevast propositsioonist järgnevasse propositsiooniReimo Palm, Rein Prank. Sissejuhatus matemaatilisse loogikasse, Tartu: Tartu Ülikooli Arvutiteaduse Instituut, 2004:

Need on aksiomaatilised skeemid ehk reeglid, mille alusel saab koostada lõpmatu arvu teisi aksioome. Näiteks, kui , , ja  on lausearvutuses muutujad, siis  ja  on mõlemad 1. aksiomaatilise skeemi näited, ning on ka järelikult aksioomid. On võimalik näidata, et ainult nende kolme aksiomaatilise skeemi ja modus ponens järeldusreegli kaudu saab tõestada kõik lausearvutuslikud tautoloogiad. Samuti on võimalik tõestada, et ükski paar nendest kolmest skeemist ei ole piisav tõestamaks kõiki tautoloogiaid modus ponens järeldusreegliga. 
Teised aksiomaatilised skeemid sisaldades samu või teisi lauseloogika konnektoreid on sarnaselt moodustatavad.Mendelson, "6. Other Axiomatizations" of Ch. 1 
Sellised aksiomaatilised skeemid on kasutusel ka predikaatarvutuses, aga kvantifikatsiooni lisamiseks arvutusse on vaja täiendavaid loogilisi aksioome.Mendelson, "3. First-Order Theories" of Ch. 2

Loogikavabad aksioomid
Loogikavabad aksioomid on valemid, mis täidavad teooriaspetsiifiliste eelduste rolli. Kahe erineva struktuuri, näiteks naturaalarvude ja täisarvude kohta järelduste tegemine võib hõlmata samu loogilisi aksioome; loogikavabade aksioomide eesmärk on aga näidata, mis eristab kindla struktuuri (või struktuuride gruppi) teistest. Seega ei ole loogikavabad aksioomid erinevalt loogilistest aksioomidest tautoloogiad. Loogikavabu aksioome nimetatakse ka postulaatideks.Mendelson, "3. First-Order Theories: Proper Axioms" of Ch. 2
Peaaegu iga tänapäevane matemaatiline teooria algab teatud loogikavabade aksioomide kogust.
Loogikavabu aksioome nimetatakse matemaatikas tihti ka lihtsalt aksioomideks. See ei tähenda, et neid peetakse täielikult tõeseks. Näiteks on mõnes rühmas rühmaoperatsioon kommutatiivne ja seda saab kinnitada täiendava aksioomi kasutuselevõtmisega, kuid ilma selle aksioomita suudame välja töötada üldisema rühmteooria.
Seega on aksioom põhiliseks aluseks formaalsele loogikasüsteemile, mis koos järelduste reeglitega määratleb deduktiivse süsteemi.

Näited
Aritmeetika
Peano aksioomid on ühed enimkasutatavad aksiomatiseeringud predikaatloogikast. Nad on aksioomide kogumid, mis on piisavalt tugevad, et tõestada mitmeid olulisi väiteid arvuteooriast. Nende abil sai Kurt Gödel tõestatud oma teise mittetäielikkuse teoreemi.Mendelson, "5. The Fixed Point Theorem. Gödel's Incompleteness Theorem" of Ch. 2
Olgu antud keel ja signatuur , kus  on konstant ja  on unaarne tehe, ja järgnevad aksioomid:



  iga valemi  ühe vabamuutuja  kohta.
Harilik struktuur on  kus  on naturaalarvude hulk,  on järglaste leidmise funktsioon ja  tõlgendatakse numbrina 0.

Filosoofia
Vana-Kreeka filosoofias nimetati  aksioomiks  niisugust väidet, mille tõesus on arusaadav ilma tõestuseta.

Francis Bacon nimetas aksioomideks loodusseadusi väljendavaid teaduslikke üldistusi.

Epistemoloogias tähendab aksioom enesestmõistetavat tõde, millel muu teadmine peab põhinema. Tänapäeval on usk niisuguste aksioomide olemasolusse hääbumas.

Vaata ka
Hüpotees
Lemma
Teooria
Teoreem
Väide
Algprintsiip
Oksüümoron

 Viited 

Kategooria:Epistemoloogia
Kategooria:Matemaatika alused