AXIOMATISATIONS

Definition of AXIOMATISATIONS