axiomatize

It is impossible to axiomatize what "natural" means in any consistent way.

An Argument from Realism Against Naturalism about Human Beings 2008

For our current purposes, it is convenient to axiomatize this logic as a natural deduction system, taking all tautologies as axioms and the familiar natural deduction rules governing the singular quantifiers and the identity sign as rules of inference.

Plural Quantification Linnebo, Øystein 2008

These five rules therefore completely axiomatize equational logic in the sense that every consequence of a set A of equations can be produced from A via finitely many applications of these five rules.

Algebra Pratt, Vaughan 2007

If I would axiomatize science I would try to establish the process and its objects.

More incredible chutzpah from John Mark Reynolds - The Panda's Thumb 2007

Actually one is able to axiomatize t-norm based systems for some particular classes of t-norms.

Many-Valued Logic Gottwald, Siegfried 2004

In the early 1900s it became clear that one has to state precisely what basic assumptions are made in Set Theory; in other words, the need has arisen to axiomatize Set Theory.

Set Theory Jech, Thomas 2002

The deeper point here is that today we seek to axiomatize all our assumptions, and accept nothing as truth merely on the basis of “reality” or “common sense.”

Euclid’s Window Leonard Mlodinow 2001

The deeper point here is that today we seek to axiomatize all our assumptions, and accept nothing as truth merely on the basis of “reality” or “common sense.”

Euclid’s Window Leonard Mlodinow 2001

The deeper point here is that today we seek to axiomatize all our assumptions, and accept nothing as truth merely on the basis of “reality” or “common sense.”

Euclid’s Window Leonard Mlodinow 2001

Lisp wasn't designed to fix the mistakes in Fortran; it came about more as the byproduct of an attempt to axiomatize computation.

What Made Lisp Different 2001