sets es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
¿Qué absolutas en todos los modelos transitivos de ZFC, y cómo una prueba esta absolutez?
el 25 de Abril, 2017 6 votos - 2 resp
¿Se puede interpretar una declaración imposible de demostrar como siendo generalmente verdad en algunos casos?
el 19 de Febrero, 2017 6 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 2 x lógica
- 1 x estado-incompleto
- 1 x demostrabilidad;-comprobabilidad
- 1 x conjunto-teórico