全ての帰納的可算言語は複雑性クラスreに属する。