Nehmen wir an, ich beweise die Unbeweisbarkeit (in Russell's System) von P; so habe ich mit diesem Beweis P bewiesen. Wenn nun dieser Beweis einer in Russell's System wäre, – dann hätte ich also zu gleicherzeit seine Zugehörigkeit und Unzugehörigkeit zum Russell'schen System bewiesen. – Das kommt davon, wenn man solche Sätze bildet. – Aber hier
wäre
ist
ja ein Widerspruch! – Nun so ist hier ein Widerspruch. Schadet er hier etwas?