Es ist klar daß, wenn ich
7→3
π
anwenden könnte, alle Zweifel über die Berechtigung behoben wären. Denn die Möglichkeit der Anwendung ist das eigentliche Kriterium (dafür das alles in Ordnung ist) || für die arithmetische Wirklichkeit.