Logique math.LO

Dans le monde de la logique, il y a un pont. Il enjambe le gouffre qui sépare l'admissibilité d'une règle de sa dérivabilité à partir des axiomes. Tant que les règles se contentent d'un nombre fini de prémisses, le pont est solide — pour la logique classique, tout ce qui ne viole pas la vérité est déjà contenu dans la syntaxe. Mais dès qu'on ajoute des prémisses infinies, les piliers commencent à trembler.

En mathématiques, il existe un tamis qui ne filtre pas la poussière, mais l'infini lui-même. On l'appelle Q-espace : ici, tout ensemble est un ensemble Gδ — une intersection dénombrable d'ouverts, comme s'il était passé à travers un filet incroyablement fin.