そういえば前はてなで「1+1=2」を証明するのは
どうすればいいか？という質問があって
証明できないって説と整数の定義を用いれば証明できる
とする考え方があって結局どういう結論だったのか見逃した