編號 (可計算性理論) 可計算性理論裡編號英語numberingindexing等是將一個集合的元素如函數有理數圖或形式語言的字串編上自然數號碼可計算性以及相關的概念最先定義在自然數上而利用編號可將這些概念傳遞到上述的其他集合中作討論 常見例子有一階邏輯的哥德爾編號以及偏可計算函數的可接受編號英语admissible numbering