Axoma

Axoma
conceutu matemáticu
proposición (es) , concepto primitivo (es) y lema (es)

Un axoma ye una proposición asumida dientro d'un cuerpu teóricu sobre la cual fuelguen otros razonamientos y proposiciones deducíes d'eses premises.

Introducíu orixinalmente polos matemáticos griegos del periodu helenísticu, el axoma considerábase como una proposición evidente» y que s'aceptaba ensin riquir demostración previa. Darréu, nun sistema hipotéticu-deductivu, un axoma yera toa proposición non deducida d'otres, sinón que constitúi una regla xeneral de pensamientu lóxicu (por oposición a los postulaos).^[1] Asina en lóxica y matemátiques, un axoma ye namái una premisa que s'asume, con independencia de que seya o non evidente, y que s'usa pa demostrar otres proposiciones. Anguaño búscase qué consecuencies lóxiques porten un conxuntu d'axomes, y de fechu en dellos casos optar por introducir un axoma o bien el so contrariu, viendo que nenguna de los dos paez una proposición evidente. Asina, si tradicionalmente los axomes escoyer d'ente afirmaciones evidentes», coles mires de deducir el restu de proposiciones, na moderna teoría de modelos un axoma ye namái una asunción, y de nenguna manera considérase que la verdá o falsedá de los axomes dependa del sentíu intuitivu que se-y pueda atribuyir, o se recurre a que puedan ser autoevidentes.

En lóxica un postuláu ye una proposición non necesariamente evidente: una fórmula bien formada (plantegada) d'un llinguaxe formal utilizada nuna deducción pa llegar a una conclusión.

En matemática estremen dos tipos de proposiciones: axomes lóxicos y postulaos.

1. ↑ Definición d'axoma en Symploke.