集合论
NF(U)如何避免集合论悖论.