Definimos todas las h-nociones necesarias en la formulación de los axiomas I-IV y H-v Queda por demostrar que todos estos axiomas se mantienen; esto se hará al final de este capítulo. Una vez que term...Definimos todas las h-nociones necesarias en la formulación de los axiomas I-IV y H-v Queda por demostrar que todos estos axiomas se mantienen; esto se hará al final de este capítulo. Una vez que terminamos con las pruebas, obtenemos que el modelo proporciona un ejemplo de un plano neutro; en particular, el Ejercicio 12.1.5 se puede probar de la misma manera que el Teorema 5.3.1.