Daher ist alles ängstliche Suchen nach den Unterschieden zwischen Subjekt-Prädikat-Formen, aber auch die Konstruktion von Funktionen ‘in extension’ (Ramsey), zur Begründung der Arithmetik Zeitverschwendung.