Mein Versuch:
Für Alle x im Element von 2 ( also auch 1 , 0 und 3?) bis n -1(und nicht mehr? Also n +1 geht nicht?) gilt nicht x ist teilbar durch nicht n.
Ich meine:
Für alle x aus der Menge { 2, ... , n - 1 } gilt : x ist kein Teiler von n
oder vielleicht noch schöner:
Für alle x zwischen 1 und n gilt: x ist kein Teiler von n.
Das ist wahr wenn n eine Primzahl ist, sonst nicht.