20/03/21 13:10:21.69 Ysr8avom.net
>>558
> ”そのような有限の決定番号dが存在する”というところが、
> 数学的に怪しい雰囲気だってことです
この馬鹿は選択公理を否定したいのか？
決定番号はその定義から自然数である。（言うまでもなく自然数は有限値）
この定義を無力化するには代表の存在を否定するしかない。それには選択公理を否定するしかない。
20/03/21 13:10:21.69 Ysr8avom.net
>>558
> ”そのような有限の決定番号dが存在する”というところが、
> 数学的に怪しい雰囲気だってことです
この馬鹿は選択公理を否定したいのか？
決定番号はその定義から自然数である。（言うまでもなく自然数は有限値）
この定義を無力化するには代表の存在を否定するしかない。それには選択公理を否定するしかない。