除法の定義が使われていない件
せっかく定義したのに、ぜんぜん使われません。
単なる読み物として扱われているかも。
基礎も定義も文章として存在はするけれど、だれもそれは使いません。
算数では算数の割り算のまま計算しますし、数学では数学の除算のまま計算します。
数学をやっている人に聞いたら、除算は除法をもとにしていないという認識でした。
誰が、なんのために除法の定義なんて考えたんでしょう。
定義を作った人達の働きは全くの無駄でした。この定義にどれぐらい時間をかけたんでしょう?
それが無駄って… 悲しいですね。