The problem description uses logic, "solving" the problem often looks like automatically proving a system of logical axioms.

The theorems of mathematics can be derived from logical axioms through purely logical deduction.

These principles should uniformly adhere to sound logical axioms or postulates.

The deduction apparatus is defined by a suitable set of logical axioms and suitable inference rules.

Hilbert-style deduction systems are characterized by the use of numerous schemes of logical axioms.

Typical Hilbert-style systems have a small number of rules of inference, along with several infinite schemes of logical axioms.

Axiomatic semantics, whereby one gives meaning to phrases by describing the logical axioms that apply to them.

They define ontology as "a set of logical axioms designed to account for the intended meaning of a vocabulary."

There are at least six logical axioms or principles that show what people mean whenever they make statements about 'necessity' or 'possibility' (described below).

In the deduction apparatus of necessity logic the logical axioms are the usual classical tautologies.