17/05/24 10:15:09.66 hP1bXDtV.net
>>262
＞ m＞nなら1/m＜ａはちっとも矛盾ではないのである（笑
n を用いて「 m＞n なら」という文章を書いたとき、お前は
「 n として m＞n を満たす n を選ぶことにする 」
と言っていることになる。そのような n を取ったときに矛盾が出なくても、
証明が失敗していることにはならない。
なぜなら、n の使い道は「どんな n を使ってもよい」という論法なのだから、
n として特に n ＝ m を代入すればよいのである。
そのとき矛盾が起きるのだから、背理法による証明が成功している。
結局、お前には「束縛変数 n 」という概念は難しすぎて理解できないのである。
＞どんな整数nに対してもa＜1/n
＞というような事態は絶対に起こらないからである（笑
この２行の発言により、
お前は次の文章が成り立つと言っていることになる↓
―――――――――――――――
a は定数で a ＞ 0 を満たすとする。このとき、
「どんな正整数 n に対しても a ＜ 1/n 」
というような事態はそもそも