Axiomization vs Formalization

Since this keeps coming up in different scenarios, I thought it was worth writing something about (this is also discussed in one of my papers):