>>845
>だが1+1=3は実在しない
なの、+演算の定義次第だろ