前のほうで、数学の(非形式的)証明は厳密な形式的証明に書き換えることが出来る
とか、かならずしもそう言えないとかとあったけど。そう言えないといった人
に聞きたいんだけど、書き換えることが出来ない数学の推論って例えばどんな
ものがあるんだろう？ 数学の(正しくかつ広く認められた)証明の推論というのは
単純かつ明らかな推論の積み重ねだと思うんだけど。