Usually only rules that are recursive are important; i.e. rules such that there is an effective procedure for determining whether any given formula is the conclusion of a given set of formulae according to the rule.
معمولاً تنها قوانین که بازگشتی می‌باشند مهم هستند؛ یعنی قوانین به این صورت که وجود دارد یک روش مؤثر برای تعیین اینکه آیا هر فرمول داده شده‌است نتیجه‌گیری از یک مجموعه از فرمول داده شده با توجه به این قانون است یا خیر.