/  
Kann man 1 + 1 = 2 als Lehrsatz oder auch als Definition der 2 auffassen?
D.h. ist das Gleichheitszeichen hier dasselbe wie in einer Definition?