http://d.hatena.ne.jp/tt_clown/touch/20101218/1292609206http://d.hatena.ne.jp/aiko_moclen/20120309/1331299811 ITエンジニア・・・というか少なくとも私は不器用です。 まぁなんにしても、不器用な夫を持つってことは並大抵のことじゃないと思います。

「ゲーデル 不完全性発見への道」P66にて、 「述語論理の公理1,4および2,3は同値であること」を示すのは演習問題になっている。 たとえば、2,3が同値であることを示せ、っていうのはこれでいいはず。 とおもったけど、これだと述語公理2,3を使ってしまってい…