Russell's paradox
注意：罗素公理体系只是“避免”了罗素悖论，并没有解决罗素悖论。罗素公理体系的提出，是保证不产生悖论，又要求这些公理的范围足够宽，能容纳全部数学。就是说要给数学提供足够的集合。