>>159
＞それには乗らないよ。
>>163
＞問題の意味自体が分らない(笑

>>155の述語論理式が読めなかったようだ

∃ｘ∈N∀ｙ＞ｘ⇒P(y)　を満たす述語P
→P（ｎ）が成り立たないｎが有限個

∀ｘ∈N∃ｙ＞ｘ＆P(y)　を満たす述語P全体
→P（ｎ）が成り立つｎが無限個

前者が成り立てば、後者が成り立つが、逆は成り立たない
ただ、それだけでは濃度の比較はできない

要は
前者が成り立つPは有限小数と同濃度
後者が成り立つPは無限小数と同濃度
と気づけるかどうかがミソ

ま、しかし論理式が読めないんじゃ無理か