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???