Diferentes conjuntos de axiomas permiten demostrar diferentes teoremas, y por lo tanto los axiomas que se eligen muchas veces dependen de los teoremas que se quieren demostrar, y de la posición filosófica que se defiende.