 In the light of contemporary logic, Poincaré is hinting at some form of absoluteness or invariance under extension (that will be made precise by Kreisel 1960 via model theory and recursion theory): his ideas will inspire the non-ramified approach to the foundations of predicative analysis.