To say mathematics is about what follows from the axioms is roughly equivalent to saying that programming is what follows from assembly instructions - not wrong, but empty

Mathematics is just as much: finding the correct lemma, building theories, drawing connections etc. Programming is just as much: finding combinators/design patterns/re-usable components, designing abstract interfaces, how to build robust systems etc.