А где нет, там разрешено деление на ноль? Прост там же будет запрещено другим способом. Или, проще. Там не будет ноля. Или он будет равносилен единице, и тогда при делении будет то же число. Или ещё как-то будет определено. Ещё можно дополнить поле действительных плюс-минус бесконечностями. И делить на плюс-минус ноль. Но это будет только иллюстрация того, что перед такими штуками и впрямь надо определиться с аксиомами. Хе-хе.