0483132人目の素数さん垢版2018/01/04(木) 04:21:46.49ID:ZgRpzAUK >>482 直感主義はそんな感じですけど、あなたの神論理学は、神でないと命題の真偽すら決定できないということになりますよ? 議論世界を決定できるのは神だけなんですから クリプキモデルでは知識量により真偽が変わるとしますが、あなたの場合は神でなければ真偽を決定できない、です