An example of a rule that is not effective in this sense is the infinitary ω-rule.
یک مثال از یک قانون که در این معنا مؤثر نیست infinitary ω-rule است.