Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.logic
Subject: Re: This makes all Analytic(Olcott) truth computable --- ZFC
Date: Thu, 22 Aug 2024 21:23:27 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <bb60e0693b8c71a06bf7ea09c1fde13b417d8ead@i2pn2.org>
References: <v86olp$5km4$1@dont-email.me> <v95cke$p5rb$5@dont-email.me>
 <v977fo$gsru$1@dont-email.me> <v97goj$ielu$1@dont-email.me>
 <v9c93e$35sg6$1@dont-email.me> <v9d3k1$3ajip$1@dont-email.me>
 <v9ffpr$3s45o$1@dont-email.me> <v9fkd4$3se8c$1@dont-email.me>
 <v9kg66$tdvb$1@dont-email.me> <v9nbjf$1dj8q$1@dont-email.me>
 <20b1dea98eda49e74e822c96b37565bb3eb36013@i2pn2.org>
 <v9o4p2$1h5u4$1@dont-email.me>
 <cd12fb81fcd05d2e112fc8aca2f5b791c521cfc9@i2pn2.org>
 <v9oddf$1i745$2@dont-email.me>
 <7f2a1f77084810d4cee18ac3b44251601380b93a@i2pn2.org>
 <v9ogmp$1i745$6@dont-email.me>
 <662de0ccc3dc5a5f0be0918d340aa3314d51a348@i2pn2.org>
 <v9oj4r$1i745$8@dont-email.me> <v9sibq$2bq1o$1@dont-email.me>
 <v9sn85$2c67u$6@dont-email.me> <v9v0u0$2qajg$1@dont-email.me>
 <v9vgbu$2rjt1$13@dont-email.me> <va1qmi$3biht$1@dont-email.me>
 <va27ge$3cvgv$7@dont-email.me> <va4a0u$3q89u$1@dont-email.me>
 <va4n2u$3s0hu$3@dont-email.me>
 <MPG.413129831ae549849896ff@reader.eternal-september.org>
 <va7dfi$ebdg$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 23 Aug 2024 01:23:27 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3524973"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <va7dfi$ebdg$4@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 3293
Lines: 39

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.