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