Axioma

Wikipedia, Entziklopedia askea
Hona jauzi: nabigazioa, Bilatu

Logikan axioma frogatu gabeko baina agerikoa den proposizioari deritzo. Hala ere, axiomak egiatzat hartzen dira, eta (menpeko) beste egi batzuk ondorioztatzeko hasiera puntutzat balio dute.

Matematikan axioma logiko eta axioma ez logikoen artean bereizten dira. Bietan, axioma, beste deklarazio matematiko batzuk frogatzeko abiapuntutzat balio duen edozein deklarazioa da.

Normalean axioma logikoak egi unibertsaltzat hartzen dira, adibidez "A" eta "B"-k "A" inplikatzen dute. Axioma ez logikoak, berriz, berez propietate matematikoak dira, adibidez A+B=B+A (aritmetikaren propietate trukakorra).