Hay un teorema de Deligne que un "coherente" topos (por ejemplo, uno en un sitio donde todos los objetos son cuasi-compacto y cuasi-separados) tiene bastantes puntos (es decir, isomorphisms puede ser detectado a través geométricas morfismos para el topos de conjuntos). He oído decir que esta es una forma de Goedel del teorema de completitud de la lógica de primer orden.
¿Por qué es eso?
Lo siento por no proporcionar más motivación, pero no sé lo suficiente acerca de esta conexión a hacerlo!
Este es ahora publicado en MO así.
