Date: Mar 24, 2013 3:51 PM
Subject: Re: Matheology § 224
On 3/24/2013 10:26 AM, WM wrote:
> On 24 Mrz., 16:13, William Hughes <wpihug...@gmail.com> wrote:
>> On Mar 24, 4:03 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>> Induction proves that every
>> and all
> So you do no longer adhere to ZFC+FOPL?
> There a proof "for every" is a proof "for all". Unfortunately current
> logic does not distinguish.
Then define, in standard form, the interpretations of
Here are some ideas that may inform your definition.
At the very least, you could tell us where the logicians