GZ>И все было бы прекрасно, если бы она сама по себе не была противоречивой. Например, древнее.
GZ>3*0=0
GZ>4*0=0
GZ>3*0=4*0 => 3=4
GZ>Чтобы этого не случилось, запрещаем деление на ноль. Но вопрос, а кто дал нам право запрещать деление на ноль?
Никто. Делить на ноль не запрещено, просто результат неопределен.

GZ>Откуда эта аксиома?
Так сложилось исторически.

GZ>И все было бы прекрасно, если бы она сама по себе не была противоречивой. Например, древнее.
GZ>3*0=0
GZ>4*0=0
GZ>3*0=4*0 => 3=4
GZ>Чтобы этого не случилось, запрещаем деление на ноль. Но вопрос, а кто дал нам право запрещать деление на ноль?
Никто. Делить на ноль не запрещено, просто результат неопределен.

GZ>Чтобы этого не случилось, запрещаем деление на ноль. Но вопрос, а кто дал нам право запрещать деление на ноль? Откуда эта аксиома?
Так сложилось исторически, и аксиомы работают достаточно неплохо.