 |
| |||
| геделевская нумерация формальной системы | |||
| нумерация Гёделя для формальных систем (т.е. нумерация используемых в них символов, формул и последовательностей формул, обеспечивающая однозначную интерпретацию любого алгоритма в такой системе) | |||
|
| |||
| геделевская нумерация формальной системы | |||
| нумерация Гёделя для формальных систем (т.е. нумерация используемых в них символов, формул и последовательностей формул, обеспечивающая однозначную интерпретацию любого алгоритма в такой системе) | |||