Ett axiom är ett påstående som antas vara sant utan att bevisas. Matematiken bygger på bevisföring, men man kan bara bevisa något med hjälp av saker man redan vet. Därför måste beviskedjan börja någonstans, och axiomen utgör den här startpunkten. Några axiom som används i matematiken är:
Två punkter kan alltid förbindas med en rät linje.
Om a=b är b=a.
Talet efter ett naturligt tal är alltid ett naturligt tal.