axioms

“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.”

An earlier technology, called symbolic AI, involved programming computers with axioms for specific subjects, such as molecular biology or architecture.