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

そうやって数学を一から証明しようとしてる本があるよ
未完だけど

参考：2007/05/23(水)05時02分56秒