A term/judgement/context/formula is well-formed with respect to a given syntax specification iff it is constructed from a well-founded tree made of repeated application of inference rules.
A term/judgement/context/formula is well-formed with respect to a given syntax specification iff it is constructed from a well-founded tree made of repeated application of inference rules.