« first day (107 days earlier)      last day (1942 days later) » 

6:58 AM
14 messages moved from Basic Mathematics
I've deleted the earlier now useless version. But you haven't fixed the problem I mentioned.
> Your induction does not give "Forall m in N (m>n+1).".
Oh wait.
Sorry.
4 messages moved from Basic Mathematics
 

« first day (107 days earlier)      last day (1942 days later) »