In den Sätzen der Arithmetik (im Gegensatz zu den eigentlichen Sätzen) kann man wirklich „(x)” lesen „…ist notwendig” und „(∃x)” „…ist möglich”.