17/05/28 11:55:55.85 AmCkyr/j.net
>>143
>カントールの実数論や集合論はインチキ
素朴に平面幾何の枠組みで、平面上で抽象化された図形としての
2辺の長さが1の直角三角形を考えると、斜辺の長さは無理数√2で、
無理数の存在性は示せる。√2は無理数で存在するから、
実数論は正しいとするのが違和感のない考え方で、標準的な数学になる。
実数論には素朴集合論の考え方が必要になるから、
素朴集合論はインチキではないとされている。
17/05/28 11:55:55.85 AmCkyr/j.net
>>143
>カントールの実数論や集合論はインチキ
素朴に平面幾何の枠組みで、平面上で抽象化された図形としての
2辺の長さが1の直角三角形を考えると、斜辺の長さは無理数√2で、
無理数の存在性は示せる。√2は無理数で存在するから、
実数論は正しいとするのが違和感のない考え方で、標準的な数学になる。
実数論には素朴集合論の考え方が必要になるから、
素朴集合論はインチキではないとされている。