Definition of "axiomatisation"

axiomatisation