20/06/08 22:42:29.60 idFZ52DT.net
>>57
>>(2)から(4)、(3)から(5)を出してきたのは想定外の新ネタだな
>
>たしかに誰も試みた者はいない
>そのような著作を観たことはないが
>論理学上の個体定項を数学に具体的にして書いてみたまでだ
>これを間違っていると言われれば著作の根拠がないのでそれまでだ
つまり、具体的に書きたいという意味不明な発作が起きたもんだから、
全称量化子ついてないのに勝手に都合のいい例示化をするという、
オリジナル推論規則を根拠がないの知りつつ使いましたという反省文かな?