Чтобы доказать эту теорему, Гёдель разработал технику, теперь известную как нумерация Гёделя, которая кодирует формальные выражения как натуральные числа.
Доказательство. Чтобы доказать эту теорему, Гёдель разработал технику, теперь известную как нумерация Гёделя, которая кодирует формальные выражения как натуральные числа.