Es importante notar que el cálculo de predicados puede ser axiomatizado de varias formas diferentes.