(∃
reell
x
) x² ‒ 2x + 2 = 0 behauptet eine Eigenschaft von der Lösung dieser Gleichung nach den algebr. Regeln. Die Lösung nach diesen Regeln ist in jedem Fall 1 ± i.