article

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 Pageartsbusinesscomputersgameshealthhospitalshomekids & teensnewsphysiciansrecreationreferenceregionalscienceshoppingsocietysportsworld