2022-07-01

スポンサーリンク
集合論

帰納的集合

公理的集合論や自然数を定義するときに重要である帰納的集合について紹介します。集合 \(X\) が帰納的(inductive)であるとは・\(\emptyset\in X\)・\(x\in X\) ならば \(x\cup\{x\}\in X\)が成り立つことをいう.
スポンサーリンク