axioms

One of the key axioms of politics in our, and any other, era is that nothing lasts forever.

“One of the axioms of the system of international relations is that such a system is intrinsically anarchic.”

For example, you could append the statement “The continuum hypothesis is true” to the group of axioms.

But a proof assistant also has drawbacks: It often complains that it does not understand the definitions, axioms or reasoning steps entered by the mathematician, and for this it has been called a “proof whiner.”

Her mother is a skilled naturalist, and her axioms repeat themselves in Dowd’s head throughout the book: “Don’t be afraid. Be competent.”