Très excité de travailler avec Terry sur la formalisation de la théorie des nombres