>>151
使ったとしても、それはメタな選択公理だから問題ないですね