هي نظام لتمثيل الأعداد الطبيعية باستخدام دوال في الهياكل المستقلة عن المعرفة. هذا النظام يستخدم في الحساب اللامتناهي ونظرية المفهوم التفاعلي للحساب في الرياضيات
أرقام تشارش (Church Numerals)
هي نظام لتمثيل الأعداد الطبيعية باستخدام دوال في الهياكل المستقلة عن المعرفة. هذا النظام يستخدم في الحساب اللامتناهي ونظرية المفهوم التفاعلي للحساب في الرياضيات
