El sistema particular aquí presentado no tiene puntos iniciales, lo que significa que su interpretación para las aplicaciones lógicas deriva de un teorema de conjuntos de axiomas vacíos.