Dictionnaire

全ての帰納的集合は帰納的可算だが、全ての帰納的可算集合が帰納的（集合）とは言えない。 帰納的可算言語は形式言語の帰納的可算な部分集合である。 帰納的可算な公理系から導かれる全ての文の集合は帰納的可算集合である。 マチャセビッチの定理によれば、全ての帰納的可算集合はディオファントス集合である（逆も明らかに真）。