1+1=2を厳密に証明するのはすごく難しいというのを聞いたんですが、やってみてくれませんか?