Axioma

Wikipedia(e)tik
Hona jo: 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).