1+1=2の証明はどういう形になるの?
あるいは公理や定義みたいな扱いなの?