0374132人目の素数さん垢版 | 大砲2020/03/02(月) 00:27:04.47ID:Lh0G5oBn >game2では選択関数を構成可能なので選択公理は不要ですね。 選択関数の構成例 game2では10進小数表示で同じ循環節を持つ q∈[0,1]∩Q が同値になります。 よって代表は循環節のみからなる元とすることができます。 例えば 循環節が"0"の同値類の代表=0 循環節が"1"の同値類の代表=0.111… 循環節が"123"の同値類の代表=0.123123123…