"axiom scheme" - related articles and key terms