But to return to the memoir of Burali-Forti; I have said his conclusions are in direct opposition to those of Cantor. Now, one day M. Hadamard came to see me and the talk fell upon this antinomy.
"Burali-Forti's reasoning," I said, "does it not seem to you irreproachable?" "No, and on the contrary I find nothing to object to in that of Cantor. Besides, Burali-Forti had no right to speak of the aggregate of _all_ the ordinal numbers."
"Pardon, he had the right, since he could always put
[Omega] = T'(No,[epsilon]>).
I should like to know who was to prevent him, and can it be said a thing does not exist, when we have called it [Omega]?"
It was in vain, I could not convince him (which besides would have been sad, since he was right). Was it merely because I do not speak the Peanian with enough eloquence? Perhaps; but between ourselves I do not think so.
Thus, despite all this pasigraphic apparatus, the question was not solved. What does that prove? In so far as it is a question only of proving one a number, pasigraphy suffices, but if a difficulty presents itself, if there is an antinomy to solve, pasigraphy becomes impotent.
