aksiom (grčki), osnovna, polazna tvrdnja u nekoj teoriji koja se smatra očiglednom istinom te je ne treba dokazati i ne dokazuje se. Npr. Arhimedov aksiom kaže da za svaki realni broj postoji prirodni broj veći od njega. Poznati peti Euklidov aksiom (ili postulat) o usporednicama kaže da se kroz točku izvan pravca može povući samo jedna usporednica sa zadanim pravcem. Aksiomi međutim često nisu očiti, ali predstavljaju polazišne tvrdnje koje se prihvaćaju kao istinite. Na primjeru petog Euklidova aksioma pokazalo se u povijesti geometrije da i tvrdnja koja je u suprotnosti s njom može biti aksiom u nekom drugom sustavu aksioma. Tako su izvedene nove geometrije različite od Euklidove, tzv. neeuklidske geometrije, koje su u sebi jednako neprotuslovne kao i Euklidova. Iz aksioma se logički izvode druge tvrdnje – teoremi.