(logic) a statement or proposition that is accepted as true without requiring proof