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