godel numbering

[ریاضیات] عددگذاری گودلی