Wei Wang es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 2 votos
- 7 votos
¿Puede ZFC proporcionar una teoría de la verdad para la aritmética, y expresar la verdad aritmética?
el 30 de Abril, 2017 7 votos - 4 votos
Demostrar el teorema de Tychonoff con el teorema de Compacidad de la lógica
el 3 de Mayo, 2014 4 votos
Etiquetas favoritas
- 2 x lógica
- 1 x general-topología
- 1 x compacidad
- 1 x model-teoría
- 1 x first-order-lógica
- 1 x conjunto-teórico
- 1 x estado-incompleto