Los espacios de Nakano tienen eliminación de cuantificadores.

En otras palabras: ¡Buenas noticias!