Euclid had very definite ideas about how to set up mathematics - his method involved axioms, definitions, theorems, and proofs.
Similarly, Bourbaki believed in - among other things - proceeding from maximum generality to the concrete cases. He also believed in organizing disciplines around the structures they study.
Are there modern works which, like the above, have very definite ideas about how mathematics ought to be "set up"?