Una suposición básica sobre un sistema matemático a partir de la cual pueden deducirse teoremas. Por ejemplo, el sistema podría ser el de los punto y las recta del plano. Entonces, un axioma sería que, dados dos punto distintos cualesquiera del plano, existe una única recta que pasa por ellos.