What does it mean for a collection of inference rules to form the strongest judgment form that is closed under those rules?

Proof Technique