lambda1@tg
says to
YSITD
也有些人會說finite sets 加sets isomorphic to N = countable sets