>>19
函数の同値類を使っても
選択公理が成立する限り
時枝論法は成立するが

逆に同値類の代表元がとれると
確率論と矛盾するというなら
それは「新数学」の提案だが