整数列
そのような M の何れにしても、決定可能だが計算可能でない数列というものが存在する(例えば、チューリングジャンプをエンコードする整数列など)。
ZFC の適当な推移モデル M に対して、M 内の任意の整数列が M に関して定義可能となるが、それ以外の場合には一部の整数列しかそのモデルに関して定義可能にならない。M それ自身を M に関する定義可能列全体の成す集合と定める体系的な方法はなく、またそのような集合が適当な M の中にさえ存在しない可能性もある。同様に、M の中で整数列を定義する条件式全体の成す集合からそれら条件式の定義する数列全体の成す集合への写像は M の中で定義可能でなく、また M の中に存在しないかもしれない。しかしながら、そのような決定可能性写像を備えた任意のモデルにおいて、そのモデル内の整数列でそのモデルに関して決定可能でないものが存在する。
M が全ての整数列を含むならば、M 内の決定可能整数列全体の成す集合は M 内に存在して可算かつ M 内で可算である。
整数列が計算可能であるとは、任意の n > 0 に対して、n が与えられれば an を計算するアルゴリズムが存在するときに言う。計算可能整数列全体の成す集合は可算である。一方、整数列全体の成す集合は非可算(実はその濃度は連続体濃度 ב1)であるから、どの整数列でも計算可能というわけにはいかない。
整数列の中には定義を持つものはあるけれども、普遍的にあるいは絶対的な(つまりモデルに依存しない)意味で整数列が定義可能であるということの意味を定める系統的な方法は存在しない。
集合 M が ツェルメロ–フレンケル集合論 の推移モデル(英語版) であると仮定する。M の推移性は M の内部での整数および整数列が実際に整数および整数列となることを含意する。整数列が M に関して (relative to M) 定義可能であるとは、考えている集合論の言葉で適当な(自由項が一つでパラメータのない)条件式 P(x)が存在して、考えている整数列に対しては M 内で真かつそうでない整数列に対しては M 内で偽となるようにできるときに言う。