AXIOMATISATION

Definition of AXIOMATISATION