Set(L) == L and Set(L) != L are True at the same time?!

[Peter Mueller]

Secundum non datur ...:

sage: L = {0}
sage: L == Set(L)
True
sage: L != Set(L)
True

How can this happen?! With  the python bulltin `set` instead of `Set` I get the expected behavior though. (I'm using Sage version 9.8.)

-- Peter Mueller

[Dima Pasechnik]

I opened
https://github.com/sagemath/sage/issues/35178
on this

> --
> You received this message because you are subscribed to the Google Groups "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-support...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/9b354d1b-7d08-48d4-9af4-e10532969e4fn%40googlegroups.com.

[Alan Stafford]

Bernards Paradox. Anything is a set even the empty set. And the empty set contains itself. Axiom 11 is the source of the paradox.

Regards

Alan

On Thursday, 23 February 2023 at 13:13:33 GMT, Dima Pasechnik <dim...@gmail.com> wrote:

I opened

https://github.com/sagemath/sage/issues/35178

on this

On Thu, Feb 23, 2023 at 9:17 AM 'Peter Mueller' via sage-support

<sage-s...@googlegroups.com> wrote:

>

> Secundum non datur ...:

>

> sage: L = {0}

> sage: L == Set(L)

> True

> sage: L != Set(L)

> True

>

> How can this happen?! With  the python bulltin `set` instead of `Set` I get the expected behavior though. (I'm using Sage version 9.8.)

>

> -- Peter Mueller

>

> --

> You received this message because you are subscribed to the Google Groups "sage-support" group.

> To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsub...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/9b354d1b-7d08-48d4-9af4-e10532969e4fn%40googlegroups.com.

--

You received this message because you are subscribed to the Google Groups "sage-support" group.

To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsub...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAAWYfq3UK--5_i6dfnz7zDuO2S7j2U%3DpEzMtaa9McC%2Bb2WN16A%40mail.gmail.com.