User blog:JHeroJr/Is there a system which inductively defines some 1st, 2nd, 3rd, 4th, etc. set theories?

I tried to look it up, but my search platform gave no specific answer. I might need it to define a large number. I'm going on the same path as my first Omega Function https://googology.wikia.org/wiki/User_blog:JHeroJr/The_First_Omega_Function except I want to modify Python 3.7.2.

Any suggestions?

Also, is there a system that compares set theories to ordinals?

I wanted to make a new Python type, fostexpr, with a new way to convert it into and from a string, and a Boolean oracle function that determines whether two or more FOST statements are consistent with each other.

I saw this blog post.

And I thought I was a noob at googology!

This wiki doesn't want 2-year-olds to be typing blog posts!!!

Look at it and be horrified the heck out of D: