User blog comment:JHeroJr/Why I need a system that inductively defines set theories for each ordinal/@comment-35470197-20200109233744/@comment-39253344-20200110032322

I guess I didn't expect it to work first try. I had no reason to believe such a fundamental sequence exists for every ordinal.