Aber wenn mir (nun) Einer mitteilt, … sei eine bei Russell beweisbare Struktur || ; kann ich da nicht mit Russells Zustimmung folgern, daß … richtig ist? || kann ich da nicht, mit Russell 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
zur Behauptung des Satzes überginge. || geht er zur Behauptung des Satzes über.