Да, у меня сформулировалось следующее определение:

Логик - это математик, для которого целью является не простота теории, а единообразие доказательств; главное, чтобы как можно большая их доля выглядела так : By induction on X. чтд