Sur les controverses entre intuitionnisme et formalisme (1920-1930), qui diffèrent par la conception de l’infini. Dans la doctrine formaliste (Hilbert), les propositions sur le transfini sont considérées comme des propositions idéales sans contenu ontologique. L’intuitionnisme, qui ne donne pas lieu à une mathématique du second ordre, se tient strictement, dans les mathématiques, à l’infini potentiel.