axiomatize

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

  An Argument from Realism Against Naturalism about Human Beings

• “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

• “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

• “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

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

  Many-Valued Logic

• “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

• “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

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

  Simon & Schuster: Euclid’s Window

• “Bertrand Russell had already published, in Principia Mathematica (1910-13), a massive attempt to axiomatize mathematics in a consistent way.”

  Conservapedia - Recent changes [en]

• “(iii) It could help us decide whether some list of equational laws intended to axiomatize the integers is complete in the sense that any equation holding of the integers follows from the laws in that list.”

  Algebra

Show 10 more examples...