背理法不要論ってどうなん？

[0231 １３２人目の素数さん 2018/08/16(木) 15:37:21.83 ID:yGH/7prB]

え？負整数乗や有理数乗もダメ？商集合で整数、有理数、実数、複素数まで構成していけるのに？

[PDF] 同値関係と商集合
http://www.math.sci.osaka-u.ac.jp/~matsumoto/lectures/2016-fs2/docs/2016-fs2-C.pdf