text: Существуют также другие нумерации Гёделя формальной арифметики. g ( A 1 2 ( x 1 , x 2 ) ) = 2 g ( A 1 2 ) ⋅ 3 g ( ( ) ⋅ 5 g ( x 1 ) ⋅ 7 g ( , ) ⋅ 11 g ( x 2 ) ⋅ 13 g ( ) ) = 2 107 ⋅ 3 3 ⋅ 5 13 ⋅ 7 7 ⋅ 11 21 ⋅ 13 5 {\displaystyle g(A_{1}^{2}(x_{1},x_{2}))=2^{g(A_{1}^{2})}\cdot 3^{g(()}\cdot 5^{g(x_{1})}\cdot 7^{g(,)}\cdot 11^{g(x_{2})}\cdot 13^{g())}=2^{107}\cdot 3^{3}\cdot 5^{13}\cdot 7^{7}\cdot 11^{21}\cdot 13^{5}} Вообще, нумерацией множества F {\displaystyle F} называют всюду определенное сюрьективное отображение ν : N → F {\displaystyle \nu :\mathbb {N} \to F} .