Re: This makes all Analytic(Olcott) truth computable --- ZFC

On 8/22/24 9:12 AM, olcott wrote:

On 8/22/2024 4:55 AM, Wasell wrote:

On Wed, 21 Aug 2024 07:37:50 -0500, in article <va4n2u$3s0hu$3@dont-email.me>,
olcott wrote:

On 8/21/2024 3:54 AM, Mikko wrote:

On 2024-08-20 13:59:42 +0000, olcott said:
>

On 8/20/2024 5:21 AM, Mikko wrote:

>
[...]
>

Set theories with an unversal set need to restrict
the construction operations more than what is usually considered
reasonable.

>
I don't see how. The set of all sets that do not contain
themselves simply becomes the set of all sets.

>
The set of all sets that do not contain themselves is the Russell set
that revealied the inconsistency of the naive set theory. The main
improvment in ZF was the non-existence of this set.

>
So basically you agreed with me on everything.

>
Oh, you blithering imbecile! The universal set V is, by definition,
an element of itself.

 Not in ZFC where no set con be a member of itself,
your insult is reflected back upon yourself.
 

So, you don't understand the comment.
ZFC doesn't allow for a Universal Set, but some other set theories do.
You can't apply ZFC to a discussion based on another Set Theory.
Just like you can't use your "Correct Reasoning" on a problem not based on your not-yet-defined system.