On 15 Jan., 20:37, Virgil <vir...@ligriv.com> wrote:
> Except that "ZF's universe" is not a set in ZF.
Where is the limit between existing sets and not existing sets like the set of all sets?
If such a problem occured in mathematics, one would answer it or abolish the structure as non-mathematical. In matheology the question is passed with silence.