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

In a first order theory such as ZFC, you can formulate semantics of n-th order logic (including n-th order set theory) for any positive integer n. Or are you just interested in syntax?