Es geht mir nicht um das nicht, sondern darum wo der Teil "Für alle a,b ∈ ℕ+" steht bzw. wie er in die Aussage reinpasst. Diese beiden Aussagen beschreiben nicht dasselbe:
a) Für alle a,b ∈ ℕ+ gilt, wenn 3 | a2+b2 , dann ist a2+b2 nicht quadratfrei
b) Wenn 3 | a2+b2 dann ist a2+b2 nicht quadratfrei für alle a,b ∈ ℕ+