・尻尾の同値類を定義するだけなら選択公理は要らない
・同値類から代表元を選ぶのに選択公理が必要となる

代表元を選んでしまったら時枝論法を否定できない