Es kann daher || darum auch keine „führenden Probleme” der mathematischen Logik geben, denn das wären solche deren Lösung uns endlich das Recht geben würde || berechtigen würde Arithmetik zu treiben wie wir es tun.