Axioma teoria edo jakintza-arlo sistematiko bateko funtsezko baieztapena da, begi bistakotzat edo berez edo intuizioz egiazkotzat hartzen dena, beraz frogapenik behar ez duena, eta beste axioma batzuekin batera eta logikaz beste teorema edo ondorioetara daramana. Baieztapenak eta ondorioak axioma batzuetatik eratortzen dituen jakintza-arloari sistema axiomatiko deritzo. Axioma baten adibidea hauxe da, geometria euklidearra definitzen duten postulatuetako bat: bi puntuk zuzenki bakarra definitzen dute.
Ikus, gainera
Loturiko artikuluak
FormalizazioaFilosofian, formalizazioa teoria baten irudikapen abstrakto zorrotza da, teoria horren axiomak eta axioma horietatik ondorioak ateratzeko baliatzen dituen inferentzia-erregelak baliatzen dituena, axiomak nahiz inferentzia-erregelak modu baliozko, zehatz eta…
PremisakArrazonamendu logiko batean, premisak abiapuntutzat hartzen diren proposizio edo baieztapenak dira, zeinetatik logika edo erretorika erabiliz, konklusioak inferitu edo eratorriko diren. Silogismo batean, premisa maior, handi, nagusi edo…
PostulatuakPostulatuak berez egiazkotzat edo begi bistakoa ez diren baieztapenak dira, axiomak ez bezala, frogatu beharko liratekeenak baina frogatu gabe onartu egin direnak, eta jakintza-arlo bat garatzeko beharrezkotzat hartzen…