Esta es una fórmula aparentemente inasible cuya verificación serla difícil si no fuera acompañada de señalamientos precisos en cuanto a formas de implementar ese axioma.