En general, los axiomas se seleccionan de entre el resto de las fórmulas por dos razones: la primera, porque mediante la aplicación de las reglas de inferencia, es posible deducir de ellos "todas" las fórmulas que se desea tener como teoremas, y "sólo" esas fórmulas.