Worauf läuft es denn im Ernst hinaus? Daß, wenn ich den Beweis der S-Unbeweisbarkeit von p als Beweis des Satzes p anerkenne, ich damit ein math. System anerkenne,
90
in welchem p wahr ist & nicht zu S gehört; daß es also leicht ist, die Dinge so zu drehen, daß


91