There are sometimes good reasons to define a mathematical object under study (vector space, real numbers, ...) by an axiomatic list of properties it satisfies instead of constructing it from simpler objects. John Conway's ONAG has an interesting mini-chapter about this.