Date: Jul 7, 2013 3:19 PM
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.
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???