Li-Fan Chen
says to
YSITD
基數的話是把每個自然數都看成一個集合