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