AXIOMATISE

Definition of AXIOMATISE