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