Kolmogorov複雑度的な乱数の集合
再帰的可算だが再帰的ではない集合である．
Kolmogorov複雑度的な乱数の無限存在定理からGödelの不完全性定理を導く#64b6594c13a1580000b7150dを参照．