x∈Eが一般帰納的述語となるような集合Eを帰納的集合(きのうてきしゅうごう)と呼ぶ。
たとえば、素数の集合は、帰納的集合である。
集合論
Rekursiv entscheidbare Menge | Recursive set | Komputebla aro | Ensemble récursif | קבוצה רקורסיבית | Insieme ricorsivo | 递归集合
This article is licensed under the GNU Free Documentation License. It uses material from the "帰納的集合".
Home Page • arts • business • computers • games • health • hospitals • home • kids & teens • news • physicians • recreation• reference • regional • science • shopping • society • sports • world