Der Gegensatz zu “es ist notwendig, dass p für alle Zahlen gilt” ist allerdings “es ist nicht notwendig, dass …” und nicht “es ist notwendig, dass nicht …”.
57
Aber nun denkt man: Wenn es nicht notwendig ist, dass es für alle Zahlen gilt, so ist es doch möglich. Aber hier liegt der Fehler, denn man sieht nicht, dass man in die extensive Auffassung geraten ist: Der Satz “es ist möglich – wenn auch nicht notwendig – dass p für alle Zahlen gilt” ist unsinnig. Denn “notwendig” und “alle” gehören in der Mathematik zusammen (Solange man diese Ausdrucksweise [j|n]icht überhaupt durch eine weniger irreführende ersetzt.)

✓ / \ ?