Aksioma – tai pagrindinis teiginys, kuris priimamas kaip teisingas be įrodymų ir yra teorijos (pvz., matematikos, logikos) pagrindas.
Pavyzdžiai:
1. Euklido geometrija: „Per bet kuriuos du skirtingus taškus galima nubrėžti tiesę“.
2. Aritmetika: „Jei a = b ir b = c, tai a = c“ (lygybės tranzityvumas).
3. Aibių teorija: „Du aibės yra lygios, jei turi tuos pačius elementus“.
4. Tikimybių teorija: „Bet kurio įvykio tikimybė yra tarp 0 ir 1“.
Aksiomos sudaro neprieštaringą sistemą, iš kurios išvedamos kitos teoremos.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.