Li-Fan Chen
says to
YSITD
因為有時候用集合論處理比較方便