The present work is a survey of the key results of △‑ontology — a new approach to the foundations of mathematics in which the foundation is the infinium ℑ = △₁ₓ₁ (a right isosceles triangle with legs 1 and hypotenuse √2). It is shown how the Lebesgue measure, smoothness, the metric, and all types of numbers and spaces grow out of this single geometric quantum. Special attention is given to resolving the metric problem in Synthetic Differential Geometry (SDG) by replacing the absolute value with the length of the hypotenuse. A dynamic principle linking nilpotence and the Collatz conjecture is formulated. Next, a rigorous categorical framework — the Theory of Relational Differentials (TRD) — is constructed, introducing the categories of Distinctions, orthogonal pairs, closure, self‑similarity, measure, the limit complex, and the spectral gap. The full categorical diagram is presented, along with a survey of applications in topology, number theory, algebra, physics, and computer science. Then the motive foundation is introduced: the infinium as the elementary motive M(ℑ) = ℚ(0) ⊕ ℚ(1)1 ⊕ ℚ(1)√2, its connection to the Beilinson regulator, L‑functions, and the BSD and Riemann hypotheses. In conclusion, the Completeness Theorem is formulated, and all the results are framed in the language of logical forcing (forcing ⊩ and semantic consequence ⊧). The article is intended both as an introduction to △‑ontology and as a convenient reference.
Alexey (KAMAZ) Petrov (2026) studied this question.