24/03/04 00:05:34.19 p/poHKx1.net
>>682
>決定番号の大小比較の正当化についての数学的証明がありませんよ
決定番号はその定義から自然数です。自然数は全順序です。証明終わり。
24/03/04 00:05:34.19 p/poHKx1.net
>>682
>決定番号の大小比較の正当化についての数学的証明がありませんよ
決定番号はその定義から自然数です。自然数は全順序です。証明終わり。
24/03/04 00:05:34.19 p/poHKx1.net
>>682
>決定番号の大小比較の正当化についての数学的証明がありませんよ
決定番号はその定義から自然数です。自然数は全順序です。証明終わり。