04/03/29 03:32
>>88
・for all x, 神はxを殺すことが出来る
・for all y, 神はyに殺されることを避けることが出来る
と考えてx,yに神を代入すると矛盾するよ。
04/03/29 03:32
>>88
・for all x, 神はxを殺すことが出来る
・for all y, 神はyに殺されることを避けることが出来る
と考えてx,yに神を代入すると矛盾するよ。
04/03/29 03:32
>>88
・for all x, 神はxを殺すことが出来る
・for all y, 神はyに殺されることを避けることが出来る
と考えてx,yに神を代入すると矛盾するよ。