
Re: Matheology § 295
Posted:
Jun 27, 2013 8:57 AM


On Thursday, 27 June 2013 13:47:42 UTC+2, Peter Percival wrote: > mueckenh@rz.fhaugsburg.de wrote:
>> Let X > 100 ==> 1/X < 1.
> Why the 'Let'?
If I let it not, then X < 1 is possible.
>> aleph_0 > 100 is defined.
> aleph_0 > 100 is true. Why say it's defined?
In matheology nothing is true unless it is an axiom or can be derived from an axiom by logic or is defined. aleph_0 is not an axiom and cannot be derived from an axiom by logic. Therefore is is defined.
Regards, WM

