gödelisieren

(در ریاضیات و منطق) گودل‌سازی کردن، به هر نماد یا فرمول یک عدد منحصر به فرد اختصاص دادن به طوری که بتوان گزاره‌های مربوط به آن فرمول را با خواص عددی بیان کرد.

• Der Mathematiker gödelisierte die Aussagen der Arithmetik.ریاضی‌دان گزاره‌های حساب را گودلیزه کرد.
• Es ist möglich, die Syntax einer formalen Sprache zu gödelisieren.امکان گودلیزه کردن نحو یک زبان صوری وجود دارد.