0 Usuarios y 1 Visitante están viendo este tema.
La única restricción sobre fórmula no estratificables es que no puedes usarlas para definir conjuntos por comprensión, lo cual no impide que puedas formar con ellas afirmaciones demostrables, que no tienen nada de inválidas en NFA.
