primitive notion

We had, thought Henry, gone beyond such primitive notions of morality.

However, in philosophy the term "primitive notion" has historical content.

This approach regards energy, defined by mechanics, as a primitive notion.

Most functional programming languages have a primitive notion of product type.

Naive set theory, the empty set is a primitive notion.

I think that there are certain primitive notions in us which are like originals.

In mathematics, logic, and formal systems, a primitive notion is an undefined concept.

He also proposed an axiomatic foundation for the natural numbers, whose primitive notions were one and the successor function.

Formal theories cannot dispense with primitive notions, under pain of infinite regress.

Alfred Tarski explained the role of primitive notions as follows:

Peano arithmetic, the successor function and the number zero are primitive notions.

Axiomatic systems, the primitive notions will depend upon the set of axioms chosen for the system.

It is noteworthy as using only two primitive notions, point and motion to develop axioms for geometry.

One must concede the need for primitive notions, or undefined terms or concepts, in any study.

When an axiomatic system begins with its axioms, the primitive notions may not be explicitly stated.

Thermodynamic equilibrium is a primitive notion of the theory of thermodynamics.

"Both are very strong primitive notions."

C requires but one primitive notion, betweenness.

In the 1890s logicians were reducing the primitive notions of synthetic geometry to an absolute minimum.

A dark satire, the book parodies primitive notions of gender, sexual difference and identity from a post-feminist perspective.

In axiomatic set theory the fundamental concept of set is an example of a primitive notion.

At the outset he discusses the various selections of primitive notions in geometry at the time:

Euclidean geometry, under Peano's axiom system the primitive notions are point, segment and motion.

In geometry, topology, and related branches of mathematics, a spatial point is a primitive notion upon which other concepts may be defined.

HOL Light is based on a formulation of type theory with equality as the only primitive notion.