axiomatize

(redirected from axiomatizes)

axiomatize

(ˌæksɪˈɒməˌtaɪz) or

axiomatise

vb (tr)
to reduce to a system of basic truths or axioms
Translations
axiomatizovat
References in periodicals archive ?
The notion of a matroid axiomatizes the linear algebra of a list of vectors.
13) Likewise, our sovereignty is sovereign not because of any utopian social project which axiomatizes it, but as sovereign because it transcends such axiomatization.
Internal Set Theory (IST) is a theory extending ordinary mathematics, say ZFC (Zermelo-Fraenkel set theory with the axiom of choice), that axiomatizes (Robinson's) nonstandard analysis (NSA).
Subactivities This core theory axiomatizes intuitions about subactivities.
Atomic Activities The core theory of atomic activities axiomatizes intuitions about the concurrent aggregation of primitive activities.
n], in a theory that axiomatizes equality to be a congruence, i.
I consider poems', Harrison axiomatizes on his first page, 'as social and cultural artifacts of historical importance in part because they display subtle if not covert attempts to seize describable categories of cultural power by transmitting ideology.
Skaperdas (1996) axiomatizes a general class of contest success functions, s([g.
The fourth section axiomatizes these language constructs.
As Saunders Mac Lane, one of the doyens of category theory, has remarked, the former axiomatizes sets and their elements, whereas the latter axiomatizes functions, that is, relations--and not elements at all.
In addition, their logic axiomatizes a strict store semantics whose properties differ from PIM's lazy store.
Or again, mathematics thinks the event insofar as it axiomatizes its own aporetic structure (as we see for example in Godel's theory of incompletion or in the axiom of foundation).