0709132人目の素数さん垢版 | 大砲2018/12/31(月) 08:39:12.23ID:h9L92WO7 >>701 >”1)選択公理、2)数列しっぽの同値類、3)同値類の代表元の存在、4)決定番号、5)決定番号が自然数” >とします 4)、5)は要らない。3)から導けるから