A definition is a judgement that some new syntactic expression is definitionally equal to some existing syntactic expression.1
A definition is a judgement that some new syntactic expression is definitionally equal to some existing syntactic expression.1