Li-Fan Chen
says to
YSITD
而且集合論有一些敘述給不出的東西