Xが以下の条件を満たすならば、P(X)は成り立ちますか？
(i)Xの任意の有限部分集合xに対し、P(x)が成り立つ。
(ii)Xの部分集合Aに、Aの部分集合の族Cで、∀x∈C[P(x)]、∀x,y∈C[(x⊆y)∨(x⊇y)]、
　∀x∈A∃y∈C[x∈y]を満たすものが存在するならば、P(A)が成り立つ。