18/11/30 19:50:22.25 PMoJORvB.net
>>19
函数の同値類を使っても
選択公理が成立する限り
時枝論法は成立するが
逆に同値類の代表元がとれると
確率論と矛盾するというなら
それは「新数学」の提案だが
18/11/30 19:50:22.25 PMoJORvB.net
>>19
函数の同値類を使っても
選択公理が成立する限り
時枝論法は成立するが
逆に同値類の代表元がとれると
確率論と矛盾するというなら
それは「新数学」の提案だが
18/11/30 19:50:22.25 PMoJORvB.net
>>19
函数の同値類を使っても
選択公理が成立する限り
時枝論法は成立するが
逆に同値類の代表元がとれると
確率論と矛盾するというなら
それは「新数学」の提案だが