11/07/29 05:08:30.23 XmbqFN8c0
>>397
「>>395のいう通り、」てのが抜けてたな、すまん。
「√17は自然数じゃない」が自明だから、
√17を有理数と仮定した時点で
√17を「有理数かつ『自然数でない数』」として扱わなきゃいけないんじゃないかと思ってな。
11/07/29 05:08:30.23 XmbqFN8c0
>>397
「>>395のいう通り、」てのが抜けてたな、すまん。
「√17は自然数じゃない」が自明だから、
√17を有理数と仮定した時点で
√17を「有理数かつ『自然数でない数』」として扱わなきゃいけないんじゃないかと思ってな。