Axiom (příbuzný postulát) je základní tvrzení, které se definuje jako pravdivé, a tedy se nedokazuje.