If you do not find what you're looking for, you can use more accurate words.
في نظرية المجموعات، هذه مبرهنة التي تضمن وجود دوال معرفة بالاستدعاء الذاتي. بإعطاء مجموعة X، عنصر a في X ودالة ، تنص المبرهنة أنه هنالك دالة مميزة (حيث أن ترمز مجموعة الأعداد الطبيعية شاملة الصفر) بحيث أن:
لأي عدد طبيعي n.
لتكن و دالتين بحيث أن:
بحث أن a هو عنصر في X.
بالإمكان البرهنة بالاستقراء أن لكل الأعداد الطبيعية n:
بالاسقراء , لكل .
بعض العلاقات العودية الشائعة: