Nonelementarity

Nonelementarity describes the characteristic of not belonging to the class of elementary objects. In mathematics, an elementary object often means a construction or function obtainable from basic building blocks by finitely many algebraic operations and classical transcendental functions such as exponentials, logarithms, and trigonometric functions, combined by addition, multiplication, and composition.

In analysis, nonelementary functions or integrals are those that cannot be expressed in terms of elementary functions. A classic example is the indefinite integral of e^{-x^2}, which has no expression in elementary functions; Liouville’s theorem provides criteria for when an antiderivative is elementary. Nonelementary integrals frequently require special functions or numerical methods for evaluation and interpretation.

In logic, nonelementarity refers to a property of theories or classes of structures that are not axiomatizable by a single first-order theory. An elementary class is one that is definable by a theory in first-order logic; nonelementary classes lie outside this scope, and they are a focus in areas such as abstract elementary classes and stability theory. This usage emphasizes the limits of first-order formalization rather than function construction.

Because the term is used in multiple contexts, nonelementarity is typically clarified by specifying the domain: real or complex analysis, algebra, or logic. See also elementary function, elementary differential equation, and elementary class.