スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ)

まさにそう。
時枝氏は「選択公理⇒箱入り無数目」という含意命題を証明した。
選択公理はZFと独立だからZFが無矛盾ならZFCもZF+¬Cも無矛盾。好きに選べばよい。