"set of axioms" - related articles and key terms