User blog comment:MilkyWay90/My ordinal function/@comment-35470197-20180630144403/@comment-31966679-20180702162007

Yeah, but I didn't use addition. Also, I will edit my blog post so that F(n, a(x)) can input ordinals.