Bonjour,
Partant du principe que tous les résultats mathématiques connus (et simples en terme de rédaction) peuvent s'énoncer avec un nombre de caractères inférieurs à une certaine limite et que chaque caractère présent dans cette rédaction est connu et donc limité. J'imagine que tous les résultats mathématiques connus aujourd'hui et reconnus demain sont en quantité limité donc définissables et donc tendent vers leurs exhaustivité (à moins de ne définir de nouveaux caractères relatifs à de nouveaux outils et/ou axiomes).
Avez vous déjà lu des écris allant dans ce sens ?