The Burali-Forti issue reflects confusion about type distinctions, not a flaw in well-ordering princ...
This proposition has not been edited since the history system was added.