19/01/05 12:23:54.65 WQZ4bNJY.net
>>530
＞数学基礎論とは分野の名前で、学校の数学の基礎という意味ではないぞ
くだんの一件は、充分に数学基礎論上の問題足りうる。
そもそも有理数には足し算と掛け算しかなく(割り算よりも先に分数を作る)、掛け算はa/b * c/d = a*c / b*dで定義される
その上で割り算を定義する際に、a/b ÷ d/c = a/b * c/dと、既に掛け算があるからそれを使って定義する
問題は、なぜ分数の乗法が a/b * c/d = a*c / b*d で定義あれるか？ だ。