AXIOMATISING

Definition of AXIOMATISING