A l'ombre de la justice

Le 7 juillet 1972, deux chercheurs en logique formelle (et membres émérites de la SAAC) furent arrêtés au petit matin pour pétage de gueules d'intuitionnistes fourbes et retors. Leur ligne de défense s'appuya naturellement sur le principe du tiers-exclu et sur l'axiome du choix. Malheureusement, la justice, vérolée par un constructivisme rampant, condamna les deux logiciens à apporter une preuve nouvelle au théorème de Gödel. Ils ne furent sauvés que par le fait que le juge pensait que ce théorème était en fait une recette de cuisine. La justice a parfois ses zones d'ombres, la logique aussi. Tant mieux.