Aber wenn mir (nun) Einer mitteilt, … sei eine bei R. beweisbare Struktur
;
kann ich da nicht mit R's [z|Z]ustimmung Erlaubnis folgern, daß …
richtig
wahr
ist? // kann ich da nicht, mit R in Übereinstimmung, folgern, … // Doch; Russell könnte diesen Übergang vollziehen (ich meine, den Übergang
von der Form
vom Satz
‘⊢ ξ 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
geht er zur Behauptung des Satzes über.
zur Behauptung des Satzes überginge.