In the Holmes' book, elementary set theory with universal set, is mentioned how NFU avoids the Burali-Forti paradox and is said that: let Ω\Omega the ordinal of all ordinals with \leq, then \leq ...