Perhaps we could argue that an axiomatic proof is still superior because it may provide some additional insight into the underlying processes or new theoretical directions in other domains. Whatever the merits of these types of justifications, they implicitly assume that no such insights or directions will be forthcoming from the enumerative approach—an assumption that does not hold in practice.
