Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!border-2.nntp.ord.giganews.com!nntp.giganews.com!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 21 Feb 2024 20:28:37 +0000
Subject: Re: Goedel and was Order Theory in Foundations Re: identity,
equality, substitution, names-in-the-language
Newsgroups: sci.logic
References: <ebSdnUGg-OpyyirFnZ2dnUU7-WudnZ2d@giganews.com>
<ebSdnX2g-OqOxyrFnZ2dnUU7-WudnZ2d@giganews.com>
<30a2cf1a-637d-5e01-4419-15e115b083c9@att.net>
<SrOdnd-Pd4l6ESLFnZ2dnUU7-f_NnZ2d@giganews.com>
<44c45499-1fff-4c5a-a96a-e45756adc182@googlegroups.com>
<321a30f1-346e-4784-badc-3aa94025988bn@googlegroups.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 12:28:42 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <321a30f1-346e-4784-badc-3aa94025988bn@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <eYednQDhir9owUv4nZ2dnZfqn_GdnZ2d@giganews.com>
Lines: 5
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-5KlYdZAi0QeEPRsmzC16Ek08VaxflRuQpfIl409Xa9HB+5ka/+UQ7Xj+qfIRYAx+5W6dlb64BVbuZrJ!uEMXu6Mga8hEhWllWbltfnFD6hWjZWksviGw40OpQH0xAla9y590NwX9ceJPpQuAHA6wQpI3GinB
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40