 It is immediate to see that Burali-Forti’s antinomy cannot be derived in Zermelo’s system, since the collection of all order types does not exist as a set, and Russell’s paradox simply becomes the theorem that there does not exist a universal set.