Autor Tema: Formalización de la lógica en NBG*

0 Usuarios y 1 Visitante están viendo este tema.

07 Noviembre, 2020, 10:20 pm
Leído 1067 veces

JordiMath

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 103
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
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?

07 Noviembre, 2020, 11:43 pm
Respuesta #1

Carlos Ivorra

  • Administrador
  • Mensajes: 9,654
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
    • Página web personal
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.