→ Vulpix :只是說B的元素「可以」跟A的元素一樣多而已喔。 12/09 12:56
推 LSC112233 :無限集那裡的因果反了。是說一個集合和它的真子集 12/09 12:56
→ LSC112233 :同勢,則此集合為無限集。 12/09 12:57
推 hcsoso :的確如上面板友所說, 要注意那邊的量詞. 不是"對所有 12/09 12:59
→ hcsoso :真子集B", 而是"存在真子集B". 12/09 13:00
→ linijay :了解。謝。 12/09 13:17
→ recorriendo :原PO看來很有興趣? 來學集合論吧 你就可以看到自然數 12/09 13:17
→ recorriendo :之上的數--ordinal number了 這裡面最神奇的定理我認 12/09 13:18
→ recorriendo :為是"沒有包含所有ordinal number的集合"!! 12/09 13:20
→ recorriendo :算是集合論裡第一個學到"不是集合"的nontrivial例子 12/09 13:32