On Thursday, 27 June 2013 13:47:42 UTC+2, Peter Percival wrote: > firstname.lastname@example.org 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.