Admissible rule

A final rule is valid with respect to a calculus, if it can be added to the rules of the calculus without new derivable formulas arise because.

A rule is exactly valid if every formula of the calculus, which can be derived in the calculus with the use of this rule can already be also derived without using this rule.