[Koshkin]

> In one system, a set can contain itself

But doesn't this lead to a contradiction (or to making the system of little use)?