PfHorrest showed me a Venn diagram that was self-contradictory or nonsensical. When I told him that, he said, "forget the Venn diagram". — god must be atheist
I did explain briefly why it was not self-contradictory before moving on to a different approach, but since you're so hung up on it I can explain in more detail here.
To recap, the left circle is cases where you have "something" and the right circle is cases where you have "not everything". In other words, the left circle is cases where there are things that you have, and the right circle is cases where there are things that you don't have.
In the left crescent are cases where you have something but not not everything, or in other words both something and everything: there are some things you have, and no things you don't have, so you have all of the things there are to be had, and there are some to be had. This is the ordinary use case for "everything", but there is another we'll get to later.
In the middle intersection are cases where you have something but not everything: there are some things you have, and some things you don't have. These are the cases that you want to restrict "something" to, but in normal language and formal logic both Aristotelian and modern, "something" also applies to the left crescent: you can have something and everything, or something and not everything. I like to call this case "merely something", where the "mere" conveys the not-everything part of it.
In the right crescent are cases where you don't have something, and you do have not-everything: there are no things that you have, and there are things that you don't have. This is the ordinary use case for "nothing".
But in the outer area are the weird cases, or rather, the one single weird case: where you don't have something, and you don't have not-everything, or in other words, when you have nothing and everything: because there are no things that you have, and no things that you don't have, because there are
no things at all, because the only case that falls out here is the case of an empty set.
I drew a picture:
