Pour accomplir ce programme, il fallait: trouver un langage d’exposition qui permettrait de formaliser toutes les mathématiques s’assurer que ce langage est consistant i

Pour accomplir ce programme, il fallait: trouver un langage d’exposition qui permettrait de formaliser toutes les mathématiques s’assurer que ce langage est consistant i.e.