http://ru.wikipedia.org/wiki/%D0%90%D0%BA%D1%81%D0%B8%D0%BE%D0%BC%D0%B0%D1%82%D 0%B8%D0%BA%D0%B0_%D0%B2%D0%B5%D1%89%D0%B5%D1%81%D1 %82%D0%B2%D0%B5%D0%BD%D0%BD%D1%8B%D1%85_%D1%87%D0% B8%D1%81%D0%B5%D0%BB#.D0.90.D0.BA.D1.81.D0.B8.D0.B E.D0.BC.D0.B0.D1.82.D0.B8.D1.87.D0.B5.D1.81.D0.BA. D0.B8.D0.B9_.D0.BF.D0.BE.D0.B4.D1.85.D0.BE.D0.B4
Аксиомы почитайте.
Существование обратного элемента.

Деление - это такая операция, в результате которой получается число (частное), которое при умножении на делимое дают делитель.