Die Regel der universellen Substitution besagt, dass man in jeder Formel, die man mit einem Beweis gewonnen hat, jeden Satzparameter durch eine beliebige Aussage universell ersetzen kann.
Eine weitere Voraussetzung ist, dass es sich bei dem Substituendum um einen „Satzparameter“ handelt, d. h. um eine nicht-komplexe Formel, die überdies in keinem Axiom vorkommt.
