>>959
基礎論スレへ行けば、論理の天狗様が教えてくださるよ。