 The strongest replacement principle that a logic system \(\bL\) might have, shared for example by classical logic, intuitionistic logic and all its axiomatic extensions, says that for any set of formulas \(\Gamma\), any formulas \(\phi , \psi , \delta\) and any variable \(p\)