Admissible rule

A rule of inference is admissible with respect to a logical system in case:

1. If the rule belongs to the system, every theorem that can be proven making use of the rule can be proven without making use of it;
2. If the rule doesn't belong to the system, then it is admissible in the system obtained by adding the rule to the system.