>  2005/05/20 (金) 06:56:14        [qwerty]
> > 一行目の時点ですでに証明できないが存在しているものを前提に話出してるのでトートロジーだよ(´ー`)
> もしこれがトートロジーである場合
> 前提を認めるなら、証明できなくても存在することもあることを認めていることになるし
> 前提が認められないなら前提に対する反論が必要だね

トートロジーは恒真命題なので無意味だよ(´ー`)

参考:2005/05/20(金)06時52分32秒