Limite-limite

En 1956, la SAAC, usant de moyens aussi malhonnêtes que justes, arriva à faire arrêter Kurt Gödel pour ses travaux limites-limites datant des années 40. Elle utilisa cette jeune fille innocente, en la contraignant à accuser Gödel de propos intuitionnistes au sein d'une famille monoparentale. Il eut beau se défendre, plaider un formalisme indéboulonnable, arguer de ses articles prônant un pur logicisme, rien n'y fit. Il resta en prison 18 heures. Le temps pour lui de réfléchir un peu à toutes les conneries qu'il avait pu écrire dans ses articles. L'idée était qu'il en ressorte grandi, formalisé.
Les membres du bureau de l'époque durent admettre qu'ils n'avaient pas lu les écrits de Gödel quand ce dernier les accusa de dénonciation calomnieuse. Il n'en reste pas moins, et cela reste vrai encore aujourd'hui, que Gödel est limite-limite.