罗素悖论
罗素悖论：formula_20不是层化公式，所以不會通過概括的任何推論得出formula_15的存在性。蒯因构造NF的时候大概最关注于这个悖论。