axiomatic proof Synonym