Wenn man die Lösbarkeit beweist, so muß in diesem Beweis irgendwie der Begriff ‘Lösung’ vorhanden sein. (In dem Mechanismus des Beweises muß irgend etwas diesem Begriff entsprechen.) Aber dieser Begriff ist nicht durch eine äußere Beschreibung zu repräsentieren, sondern nur wirklich darzustellen.