Los axiomas considerados aquí son los axiomas "lógicos" los cuales son parte del cálculo de predicados.