تعریف بازگشتی

تعریف یعنی شناساندن چیزی بوسیلۀ یک توصیف. مثلاً “تکشاخ” بنا به تعریف یعنی “اسبی که یک شاخ روی سرِ خود دارد”. هر تعریف دستِکم دو بخش دارد: یکی معرَّف (definiendum) (= آنچه قرار است تعریف شود، در مثال ما “تکشاخ”) و دیگری معرِّف (definiens) (= آنچه معرَّف را تعریف میکند، در مثال ما “اسبی که […]