User blog comment:MilkyWay90/Trying to create my own ordinal notation/@comment-25601061-20180702120011/@comment-25601061-20180703153748

F(x) should always return ordinals for it to be an ordinal notation (and useful), and the class of all ordinals is bigger than all ordinals