Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- From: Virgil <Virgil@xxxxxxx>
- Date: Mon, 18 Feb 2008 14:18:22 -0700
In article <ac38f$47b95d8d$82a1e228$23091@xxxxxxxxxxxxxxxx>,
Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> wrote:
G. Frege wrote:
HENCE
S[N] =/= lim S_n[N]
n
(since S[N] = {N} - also already shown by Han).
Again, your "since" _assumes_ the consistency of ZFC and that it is free
from paradoxes. Duuhh .. Now consistency is just granted ! Trivially !
The assumption of consistency, if ZFC were inconsistent, must guarantee
proof of inconsistency to be possible, so that absent any such proof of
inconsistency, assumption of consistency begs no question.
All we are actually saying is that ZFC has not been proved to be
internally inconsistent, and we may therefore continue assuming
otherwise until it is proved internally inconsistent.
.
- Follow-Ups:
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- From: Aatu Koskensilta
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- References:
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- From: Han de Bruijn
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- From: Gonçalo Rodrigues
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- From: Han de Bruijn
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- From: G . Frege
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- From: G . Frege
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- From: Aatu Koskensilta
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- From: Jesse F. Hughes
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- From: Jesse F. Hughes
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- From: G . Frege
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- From: Han de Bruijn
- Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- Prev by Date: Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- Next by Date: Re: Pattern to the primes , intresting universality.
- Previous by thread: Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- Next by thread: Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
- Index(es):
Relevant Pages
|
