Lógica math.LO

En el mundo de la lógica existe un puente. Se tiende sobre el abismo que separa la admisibilidad de una regla de su derivabilidad a partir de los axiomas. Mientras las reglas manejan un número finito de premisas, el puente es firme: en la lógica clásica, todo lo que no viola la verdad ya está contenido en la sintaxis. Pero al añadir premisas infinitas, los pilares empiezan a temblar. El puente, ay, no lo puede todo.

En matemáticas existe un tamiz que no cierne polvo, sino el infinito mismo. Se llama Q-espacio: aquí cualquier conjunto resulta ser un conjunto Gδ — intersección contable de abiertos, como tamizado a través de una red de malla increíblemente fina.