The Hilbert program was actually a specific approach for proving consistency, a kind of constructive model theory. Quantifiers were supposed to be replaced by ε-terms. εxA(x) was supposed to denote a witness to $\exists xA(x)$ , or something arbitrary if there is none. The Hilbertians claimed that in any proof in a number-theoretic system S, each ε-term can be replaced by a numeral, making each line provable and true. This implies that S must not only be consistent, but also 1-consistent ( ${\Sigma}_1^0$ -correct). Here we show that if the result is supposed to be provable within S, a statement about all ${\Pi}_2^0$ statements that subsumes itself within its own scope must be provable, yielding a contradiction. The result resembles Gödel’s but arises naturally out of the Hilbert program itself.

The article investigates one of the key contributions to modern structural mathematics, namely Hilbert’s Foundations of Geometry (1899) and its mathematical roots in nineteenth-century projective geometry. A central innovation of Hilbert’s book was to provide semantically minded independence proofs for various fragments of Euclidean geometry, thereby contributing to the development of the model-theoretic point of view in logical theory. Though it is generally acknowledged that the development of model theory is intimately bound up with innovations in 19th century geometry (in particular, the development of non-Euclidean geometries), so far, little has been said about how exactly model-theoretic concepts grew out of methodological investigations within projective geometry. This article is supposed to fill this lacuna and investigates this geometrical prehistory of modern model theory, eventually leading up to Hilbert’s Foundations.

Frege explained the notion of generality by stating that each its instance is a fact, and added only later the crucial observation that a generality can be inferred from an arbitrary instance. The reception of Frege’s quantifiers was a fifty-year struggle over a conceptual priority: truth or provability. With the former as the basic notion, generality had to be faced as an infinite collection of facts, whereas with the latter, generality was based on a uniformity with a finitary sense: the provability of an arbitrary instance.

In this paper, we consider a Hilbert-space-valued autoregressive stochastic sequence (Xn) with several regimes. We suppose that the underlying process (In) which drives the evolution of (Xn) is stationary. Under some dependence assumptions on (In), we prove the existence of a unique stationary solution, and with a symmetric compact autocorrelation operator, we can state a law of large numbers with rates and the consistency of the covariance estimator. An overall hypothesis states that the regimes where the autocorrelation operator's norm is greater than 1 should be rarely visited.