Ja, hat man ein Recht auf 2√3 ˃ 2√2 hin zu sagen „√3 ˃ √2” ? Jedenfalls darf doch das kein Übergang von f(a) auf (∃x) ∙ f(x) sein.