is_axiom : ((string # string) -> bool)
#is_axiom(`bool`,`BOOL_CASES_AX`);; true : bool #is_axiom(`bool`,`INFINITY_AX`);; false : bool #is_axiom(`ind`,`INFINITY_AX`);; true : bool