選択公理をなんとかして駆逐したいんですが。