18/12/01 16:07:00.87 wFNm81h3.net
・尻尾の同値類を定義するだけなら選択公理は要らない
・同値類から代表元を選ぶのに選択公理が必要となる
代表元を選んでしまったら時枝論法を否定できない
18/12/01 16:07:00.87 wFNm81h3.net
・尻尾の同値類を定義するだけなら選択公理は要らない
・同値類から代表元を選ぶのに選択公理が必要となる
代表元を選んでしまったら時枝論法を否定できない
18/12/01 16:07:00.87 wFNm81h3.net
・尻尾の同値類を定義するだけなら選択公理は要らない
・同値類から代表元を選ぶのに選択公理が必要となる
代表元を選んでしまったら時枝論法を否定できない