ある要素集合はその集合によって初めて定義されるものを要素とすることはできない

ある集合の全体を前提する要素が、その集合自身の中に含まれてしまうようなものであれば、そのような集合は全体を持たない

この原理に違反すような定義のことを非可述的という