>>66
置換公理の次の話題に、マーティンの公理
でした