What is the inductive definition of a judgment form?

Assume a judgment form $-J$, the inductive definition of $J$ would be a set of Rules, typically starting with some Axioms then some Proper rules to derive membership of $J$. Then, $J$ is taken to be the strongest set closed under those rules.