数理論理学できる人に聞きたいんだけど、後継者のみをもつ単項二階論理(S1S)で集合XとYの濃度が等しいことを書けないことってどうやって証明すればいいん??