Path: ...!npeer.as286.net!npeer-ng0.as286.net!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: sci.logic Subject: Re: This makes all Analytic(Olcott) truth computable --- ZFC Date: Thu, 22 Aug 2024 08:12:17 -0500 Organization: A noiseless patient Spider Lines: 32 Message-ID: References: <20b1dea98eda49e74e822c96b37565bb3eb36013@i2pn2.org> <7f2a1f77084810d4cee18ac3b44251601380b93a@i2pn2.org> <662de0ccc3dc5a5f0be0918d340aa3314d51a348@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Thu, 22 Aug 2024 15:12:18 +0200 (CEST) Injection-Info: dont-email.me; posting-host="62a25b741157347252c8096938b61d22"; logging-data="470448"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18fN2QmnoRIzsKtoYzmse9Y" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:o0n/s0T6/0d+0EbgIvim2Lxe+Dc= In-Reply-To: Content-Language: en-US Bytes: 3230 On 8/22/2024 4:55 AM, Wasell wrote: > On Wed, 21 Aug 2024 07:37:50 -0500, in article , > 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. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer