[JordiMath]

Libro “Lógica matemática” de Carlos Ivorra. Página 402.

Al explicar la formalización de la lógica en NBG* se expone el “obstáculo insalvable en NBG* si tratamos de definir una fórmula \( V\vDash\alpha[v] \)”.

¿El obstáculo insalvable se debe a que NBG* está restringido a fórmulas primitivas?

[Carlos Ivorra]

Sí. Justo a continuación se define \( V\vDash\alpha[v] \) en MK*, y lo único que diferencia a NBG* y MK* es que en MK* el axioma de comprensión no se restringe a fórmulas primitivas.