/ /  
   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
wäre
ist
ja ein Widerspruch! – Nu[m|n] so ist hier ein Wiederspruch. Schadet er hier etwas?