分出公理
ウィキペディア フリーな encyclopedia
主な公理的集合論の多くにおいて、分出公理(英: axiom schema of specification)、部分集合公理、制限された内包公理とは、公理図式の一つである。本質的に、どの集合の定義可能な部分クラスも集合であることを主張する。
分出公理を内包公理(axiom schema of comprehension)と呼ぶ数学者もいるが、後述のように無制限の内包(unrestricted complehension)と呼ぶ者もいる。
制限された内包公理はラッセルのパラドックスを回避できるため、ツェルメロ、フレンケル、ゲーデルといった数学者は、集合論の最重要な公理と考えた。[1]