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 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 Satzvom Satz || von der Form ⊢ ξ ist beweisbar’ zu ‘⊢ ξ’), aber nur unter gewissen Bedingungen: nämlich wenn ‘ξ’ bewiesen ist. Wir könnten uns ja denken, daß einereiner || Einer, auf Grund eines Traumes etwa, sagte: “Der Satz… ist beweisbar”; & nun zur Behauptung des Satzes überginge.zur Behauptung des Satzes überginge. || geht er zur Behauptung des Satzes über.