マーティンの公理は強制公理の一種だけれど、強制公理は濃度が本質的だからなあ。
選択公理がないと濃度は一般に定義できないし。