「帰納的集合」の版間の差分

2013年3月9日 (土) 05:43時点における最新版

ｘ∈Eが一般帰納的述語となるような集合Eを帰納的集合（きのうてきしゅうごう）と呼ぶ。

たとえば、素数の集合は、帰納的集合である。