Bajo esta interpretación (y asumiendo que el tiempo es infinito) los axiomas también resultan verdaderos.