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

He probably means recursive countable ordinals.