User blog comment:Mush9/KING function/@comment-1605058-20170114133107

Two minor comments: when defining von Neumann hierarchy, you need to also add the case for limit ordinals. And the line below, you are using two different fonts for what I believe is the same set (\(a,\text{a}\) and \(b,\text{b}\)).