User blog comment:JHeroJr/Is there a system which inductively defines some 1st, 2nd, 3rd, 4th, etc. set theories?/@comment-35470197-20190907053135/@comment-39253344-20190908041432

I want the syntax of a system which inductively defines set theories corresponding to all of the countable ordinals.