Le texte de cette page a été corrigé et est conforme au fac-similé.
j'ai appelé les vérifications ; elles jugent en dernier ressort et devant elles tout le monde s'incline. Mais là où ces vérifications font défaut, les mathématiciens ne sont pas plus avancés que de simples philosophes. Quand il s'agit de savoir si un théorème peut avoir un sens sans être vérifiable, qui pourra juger puisque par définition on s'interdit de vérifier ? On n'aurait plus de ressource que d'acculer son adversaire à une contradiction. Mais l'expérience a été faite et elle n'a pas réussi.
On a signalé beaucoup d'antinomies, et le désaccord a subsisté, personne n'a été convaincu ; d'une contradiction, on peut toujours se tirer par un coup de pouce ; je veux dire par un distinguo.
