axiomatic system Synonyms

logical system axiom system