Date: Jul 7, 2013 3:19 PM
Author: fom
Subject: Re: Matheology § 300

On 7/7/2013 1:13 PM, Zeit Geist wrote:
> On Sunday, July 7, 2013 2:48:03 AM UTC-7, muec...@rz.fh-augsburg.de wrote:
>> On Sunday, 7 July 2013 08:44:35 UTC+2, Zeit Geist wrote:
>>

>>> For any n e |N; if m < n, then n ~e L_m. Hence, not all n can be on the same line.
>>
>>
>>
>> Spare your "logic" based upon the axiom of "all". Try to find two individually defined natural numbers which are not in one and the same single line.
>>

>
> Axiom of all?
> All is the Universal Quantify.
> Explain.
>


Keep in mind that he has no notion
of what it means to "define" an
individual. For example,

Ax(x=0 <-> Ay( x=/=Sy ))

might be a definition for zero in
a system with a unique first element
and a successor operation.

It uses "the axiom of 'all'" --
whatever that means???