axiomatisabilité