الرياضيات, الفلسفة, المعرفة العامة, المنطق, علوم الحاسوب

الاستقراء بالتجريد (Bar Induction)