Bourbaki says as much concerning scientific axiomatics: they do not form a Taylor system, nor a mechanical game of isolated formulas, but rather imply intuitions that are linked to resonances and conjunctions of structures, and that are merely aided by the powerful levers of technique.