A rule of inference is admissible with respect to a logical system in case:
- 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;
- If the rule doesn't belong to the system, then it is admissible in the system obtained by adding the rule to the system.
