Egiazkotzat jotzen den eta frogapenik gabe onartzen den proposizioa, arrazoinamendu logiko baten abiapuntu edo teoria baten oinarri izateko proposatzen dena. Gaur egun, axioma kontzeptuaren pareko erabiltzen da.