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