axiom (Q17736)
statement of a theory that is taken to be true
Language: