>>149さん

ノート１冊使うって聞いたんですが。。。
そうとう難しい証明だそうで。。。

記号論理のルール　（一階述語論理）　と　集合に関するいくつかの公理
を使うってことは教えてもらってわかったんですが。。。