前述したようにプログラムは0と1からなる数字で書き表せるので、プログラム全体の集合と自然数全体の集合\\mathbbと自然に同一視できる.
前述したように