Какой же Вы математик, если теоремы за аксиомы считаете? В смысле, объяснимые вещи принимаете как данность, без объяснений...

Хотя, математики всякие нужны.. Уметь работать на заданном уровне абстракции, не отвлекаясь на обоснования допустимости этого уровня - тож полезно бывает, для эффективности.