To sum up:
A demonstration is necessary.
The only demonstration possible is the proof by recurrence.
This is legitimate only if we admit the principle of induction and if we regard it not as a definition but as a synthetic judgment.
V
The Cantor Antinomies
Now to examine Russell's new memoir. This memoir was written with the view to conquer the difficulties raised by those Cantor antinomies to which frequent allusion has already been made. Cantor thought he could construct a science of the infinite; others went on in the way he opened, but they soon ran foul of strange contradictions. These antinomies are already numerous, but the most celebrated are:
1. The Burali-Forti antinomy;
2. The Zermelo-König antinomy;
3. The Richard antinomy.