user114806 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Argumento de plausibilidad para el lema de Zorn
el 9 de Diciembre, 2016 10 votos - 2 resp
¿Cuál es un ejemplo de una teoría que es coherente aún no tiene ningún modelo?
el 21 de Mayo, 2016 19 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 2 x lógica
- 1 x higher-order-lógica
- 1 x elementary-conjunto-teórico
- 1 x axioma-de-la-opción