Aber wenn mir (nun) Einer mitteilt, … sei eine bei R. beweisbare Struktur || ; kann ich da nicht mit R's Zustimmung || Erlaubnis folgern, daß … wahr || richtig ist? || kann ich da nicht, mit R in Übereinstimmung, folgern, … Doch; Russell könnte diesen Übergang vollziehen (ich meine, den Übergang vom Satz || von der Form ‘⊢ ξ ist beweisbar’ zu ‘⊢ ξ’), aber nur unter gewissen Bedingungen: nämlich wenn ‘ξ’ bewiesen ist.
     Wir könnten uns ja denken, daß einer || Einer, auf Grund eines Traumes etwa, sagte: “Der Satz… ist beweisbar”; & nun
119
zur Behauptung des Satzes überginge. || geht er zur Behauptung des Satzes über.