@Fil Albuquerque,
...the Set of all sets, who do not belong to themselves, belongs to itself ?
...take by example a square shaped set of triangles who does not belong to itself once a square, in opposition to, a triangular shaped set of triangles, who obviously belongs to itself once a triangle, again from building such set of all the non self belonging sets, the conundrum of asking if it does belong or does not belong to itself ? Because if it does it shouldn't, and if it doesn't then it should get included in order to be the so said set of all non self belonging sets...
...now, one could fairly argue that, a set of all non self belonging sets, an open set, must be by
definition, undefinable or non computable from its inner characteristics...its a qualitatively transitional set from one order to another order of sets...such set is being described as quantitatively, or dynamically infinite, once it cannot belong to itself in order to belong to itself...its "belongness" is no longer quantitative, but rather qualitatively different, in a transcendent manner to its original description...that is to say, or it means that such set defining parameters are corrupted from the start...it must be a corrupted set in order to be a set...