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

Oh, my bad. I still think OP could be interested in semantics though, even if they are also interested in syntax.