Die Lösung ∀n : n ≥ 1
trifft nicht genau das, was in dem Aufgabentext steht.
Denn ∀n : n ≥ 1 heißt ja: Für alle n gilt n ≥ 1.
Was da bei "Lösung der Aussage" erläutert ist, soll heißen:
Wenn man nur schreibt ∀n und sagt nicht dazu, aus welcher
Zahlenmenge das n ist, kann man auch nicht sagen, ob die
Aussage wahr ist. Die Einschränkung ∀n∈ℕ* ( also n aus
der Menge der natürlichen Zahlen ohne 0 ) macht die Sache zu einer
wahren Aussage. Lernziel war wohl:
Wenn man Aussagen über irgendwelche Objekte machen will,
muss man immer dazu sagen, aus welcher (Grund)menge die Objekte
sind.
