Brian es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 6 resp
¿Cómo afectaría a la investigación de la teoría de conjuntos el uso de ETCS en lugar de ZFC?
el 12 de Junio, 2021 35 votos
Últimas Respuestas
- 6 votos
¿El origen de los conjuntos?
el 23 de Diciembre, 2012 6 votos
Etiquetas favoritas
- 2 x set-theory
- 2 x matemáticas
- 1 x ho.history-overview
- 1 x lo.logic