18/12/31 08:24:18.77 PWZHndJJ.net
>>679
> ５）同値類の代表元の存在
> が必要
はい、良いですよ。些末な話だから(個人的には、決定番号の”定義”に含まれていると思うが)
”１）選択公理、２）数列しっぽの同値類、３）同値類の代表元の存在、４）決定番号、５）決定番号が自然数”
とします
なお、５）決定番号が自然数は自明だが、念のため追加しただけ
18/12/31 08:24:18.77 PWZHndJJ.net
>>679
> ５）同値類の代表元の存在
> が必要
はい、良いですよ。些末な話だから(個人的には、決定番号の”定義”に含まれていると思うが)
”１）選択公理、２）数列しっぽの同値類、３）同値類の代表元の存在、４）決定番号、５）決定番号が自然数”
とします
なお、５）決定番号が自然数は自明だが、念のため追加しただけ