Francesco Turco es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
$0\times n$ matrices
el 12 de Diciembre, 2015 2 votos - 3 resp
Intersección de unario del conjunto vacío
el 16 de Marzo, 2017 14 votos - 2 resp
Conmutatividad de la multiplicación en $\mathbb{N}$
el 23 de Octubre, 2016 10 votos
Últimas Respuestas
- 41 votos
¿Cómo es el codomain de una función definida?
el 26 de Septiembre, 2010 41 votos - 2 votos
¿Por qué un incoherente sistema formal puede probar todo?
el 28 de Septiembre, 2010 2 votos
Etiquetas favoritas
- 1 x lógica
- 1 x proof-teoría
- 1 x funciones
- 1 x terminología
- 1 x inducción
- 1 x natural-números
- 1 x conjunto-teórico