チューリング次数
上記で論じたように、タルスキの定理によれば は算術的に定義不可能である。ポストの定理の系によって のチューリング次数は 0ω となり、そのため は決定可能でも帰納的可算でもない。