>>208
モノは言いようだなｗ　「現実場面に除法を定義して、演算結果を考察する」でいいじゃないかｗ
証明？証明するたって、同様に現実場面で観察された除法の性質を定義とか称して利用している
だろうに。（例えば、除法は乗法の逆演算とかね）