Principle proposed by Poincaré ; and Russell in order to solve the logical and semantic paradoxes. It would ban any collection (set) containing members that can only be defined by means of the collection taken as a whole. It is effectively a ban on impredicative definitions.
Philosophy dictionary. Academic. 2011.