Logic sometimes makes monsters. - Henri Poincaré

Formal logic is nothing but the study of the properties common to all classifications; it teaches us that two soldiers who are members of the same regiment belong by this very fact to the same brigade, and consequently to the same division; and the whole theory of the syllogism is reduced to this.

Every definition implies an axiom, since it asserts the existence of the object defined. The definition then will not be justified, from the purely logical point of view, until we have proved that it involves no contradiction either in its terms or with the truths previously admitted.

Is is by logic that we prove, but by intuition that we discover.