「1+1=2」は、
「これより学習する公理体系は、1+1=2が成立する体系である」という宣言みたいなものだろ。
だから、まあ、1+1=2は定義なんじゃないの？高校レベルまでなら。