Asunción básica sobre un sistema matemático del cual se pueden deducir los teoremas. Por ejemplo, el sistema pueden ser puntos y rectas en un plano. Un axioma podría ser que dados dos puntos distintos en el plano, existe una única recta que los conecta.