This led to work by Gödel and others to define and describe these formal systems, including concepts such as mu-recursive functions and lambda-definable functions.
أدي ذلك إلي أن يكون عمل غودل وغيره تحديدا ووصفا لهذه النظم الرسمية بما فيها المفاهيم مثل دوال الاستدعاء الذاتي mu-recursive functions وحسابات اللامدا.