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

You could try restricting yourself to Sigma_n and Pi_n statements in the arithmetical hierarchy or statements in the Levy hierarchy.