19/10/09 12:05:32.33 vw6jBuCV.net
>>942
でも、形式論理は正しいのだから形式化できるはずではないですか？
もしかしてできないんですか？
19/10/09 12:05:32.33 vw6jBuCV.net
>>942
でも、形式論理は正しいのだから形式化できるはずではないですか？
もしかしてできないんですか？
19/10/09 12:05:32.33 vw6jBuCV.net
>>942
でも、形式論理は正しいのだから形式化できるはずではないですか？
もしかしてできないんですか？