SAE Mathematics Paper 3: Finite Algebraic Articulation of the Quantitative Dimension L₁
SAE 数学 Paper 3：量维度 L₁ 的有限代数阐述

1. Introduction

1.1 The Position of This Paper within the SAE Mathematics Series

Paper 1 (Qin 2026, DOI: 10.5281/zenodo.20153791) articulates the architectural structure of SAE mathematics, presenting the objectivity precisification mode together with an initial sketch of the cross-layer architecture from $L_1$ through $L_5$. In its treatment of $L_1$, Paper 1 includes number, arithmetic, and the real line through Cauchy completion, with transitions between layers driven by remainder.

Paper 2 (Qin 2026, DOI: 10.5281/zenodo.20199082) substantively develops the content of $L_0$ on the foundation of Paper 1. Paper 2 articulates that $L_0$ is multi-dimensional and that the closure paths by which mathematical morphology is realized are multiple, repositioning the Paper 1 mode as a path-specific mode of the complete precisification path (renamed as the objectivity precisification mode). Paper 2 articulates that $L_1$ is jointly determined by dimension and path, with multiple $L_1$ trajectories coexisting. The trajectory articulated by the quantitative dimension along the complete precisification path is the main trajectory of Paper 1, and it is the focus of this paper.

Building on Paper 1 and Paper 2, the present paper articulates the substantive content of the $L_1$ stage along this main trajectory. The paper focuses on the $L_1$ articulation mode itself rather than the entire complete precisification path. Subsequent layers ($L_2, L_3, \ldots$) each introduce further articulation modes (Cauchy completion, formal definability, complexification, etc.) that capture different sub-structures on the quantitative-dimension substrate; these are left to subsequent papers.

The substantive contribution of this paper is to name the $L_1$ articulation mode concretely as finite algebraic articulation, to articulate that its saturation point is the real closed field $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, to articulate multiple types of remainder structure, and to perform a substantive rescoping of Paper 1's initial sketch concerning $L_1$. The present paper does not retract the content already published in Paper 1 and Paper 2; however, relative to Paper 1, the present paper performs a substantive rescoping of the $L_1$ scope rather than mere detail expansion (see § 1.4 and § 9.1).

1.2 The Relationship Between the Four SAE Inevitabilities and the Chisel-Construct Cycle Four-fold Pattern

Methodology 10: The Four-fold Pattern (DOI: 10.5281/zenodo.20187591) articulates the chisel-construct cycle four-fold pattern as a structural figure recurring within the SAE framework, comprising four steps: mark without constructing, additive path gives direction, multiplicative path gives memory, and closure produces construct and remainder.

Paper 2 § 3 articulates the four inevitabilities of SAE mathematical morphology: comparison is unavoidable; comparison cannot but carry direction; comparison cannot remain isolated (it propagates); and once propagated, comparison cannot evade being continuously interrogated.

The articulation stance of the present paper is: the four SAE mathematical inevitabilities are SAE-internal substantive identifications of the chisel-construct cycle four-fold pattern within mathematical articulation; they are not external theorems, nor are they derivations. This identification is a substantive articulation choice within SAE, articulating the substantive relationship between mathematical articulation and the universal four-fold figure.

The correspondences between the main steps and the inevitabilities (derived below) hold by forced sequence rather than by mere enumeration. This derivation is the default derivation under the SAE view of the complete precisification path of the quantitative dimension; it is neither a logical necessity nor an externally imposed isomorphism. Within different articulation contexts, different initial directions may be prioritized; the present paper takes the complete precisification path of the quantitative dimension as the default derivation.

Inevitability 1 (comparison is unavoidable) corresponds to Main Step 1 (mark without constructing). Comparison as an articulation act must have a minimal reference, and the mark handle "1" is articulated as that reference. In the articulation of the quantitative dimension, comparison cannot but exist, and the mark handle cannot but be introduced.

Inevitability 2 (cannot but carry direction) corresponds to Main Step 2 (additive path). After the mark handle is introduced, articulation unfolds in the forward direction of "more than 1" (the reverse direction "less than 1" emerges in the reverse-interrogation step within Main Step 2, sub-step 4; see § 4.2.4). This ordering — forward first, reverse next — is the SAE default articulation order, grounded in the initial articulation choice of the subject as a finite existence with finite counting capability. The additive path emerges as the concrete articulation of this forward direction.

Inevitability 3 (cannot but develop further) corresponds to Main Step 3 (multiplicative path). After the additive path has been articulated, development proceeds toward a higher-order articulation of repeated addition, articulated as the multiplicative path through a (count, unit) binding. The substantive content of the multiplicative path is development carrying memory binding.

Inevitability 4 (cannot but be interrogated) corresponds to Main Step 4 (closure and remainder). Once the articulation mode has been fully deployed, the interrogation turns toward the articulation mode itself: whether it is complete, with closure producing both construct and remainder.

This forced sequence makes the correspondence not mere enumeration but a natural excitation from each prior stage of articulation, rather than an externally imposed isomorphism.

The fifth condition that Paper 2 articulates (public re-enterability) is not an independent main step in the present paper but a cross-step articulation feature: the mark handles, additive operations, $N$-ary positional notations, multiplicative operations, power notations, remainder ledgers, and so on, articulated within each sub-step, all attain stabilization through symbols, notations, proofs, and layer-by-layer articulation in the public domain. The fifth condition cuts across steps rather than being step-specific.

1.3 Summary of Substantive Contributions

The present paper offers several substantive refinements relative to Paper 1 and Paper 2.

First, the $L_1$ articulation mode itself is named clearly. The paper names the $L_1$ articulation mode as finite algebraic articulation, saturating in the real closed field $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$. The articulation tools consist of finite algebraic operations (four arithmetic operations, radicals) together with finite polynomial constraints over $\mathbb{Q}$. The capture range of these tools is the real algebraic numbers, that is, all real roots articulated by finite polynomial constraints over $\mathbb{Q}$. Naming makes the distinction clear, from the SAE perspective, between $L_1$ and subsequent layers (each introducing different articulation modes).

Second, the distinction between the quantitative-dimension substrate and the $L_1$ articulation mode is the core of SAE operational articulation at this level. The quantitative-dimension substrate (which includes the real line $\mathbb{R}$) and the $L_1$ articulation mode are two distinct objects. No single articulation mode exhausts the substrate. The present paper does not negate classical mathematical construction (ZFC plus Dedekind cuts or Cauchy sequence equivalence classes, etc., construct $\mathbb{R}$ as a completed object, valid within the classical layer); its articulation is a commitment of the SAE operational articulation level. The two levels each stand on their own and do not conflict. § 2 articulates the concrete content of this firewall.

Third, internal fractal articulation of $L_1$. Paper 1 articulates the four steps of $L_1$ as single-layer articulation; the present paper articulates sub-articulation within each main step. Internal sub-articulation divides into two classes: cross-level threshold sub-articulation (Main Step 1, articulating the $L_0$-to-$L_1$ transition) and within-layer fractal sub-articulation (Main Steps 2 and 3, articulating the unfolding process within $L_1$). Main Step 4 is meta-level closure; its sub-articulation is the remainder ledger structure, which does not follow the four-step fractal pattern. The three classes each carry their own registration standards. § 8 synthesizes the registration discipline.

Fourth, articulation of multiple types within the remainder ledger. The remainder of $L_1$ closure is not only $i$. The paper articulates that the remainder includes substrate-internal remainder (transcendentals, uncomputable reals, undefinable reals) and substrate-external remainder ($i$-type equation remainder plus $p$-adic-type valuation-choice remainder). Each remainder type carries a different ontology and forces a different subsequent layer or lateral branch. This classification is a retrospective articulation, not something that the internal articulation tools of $L_1$ can directly capture.

Fifth, the instantiation of subject Via Negativa at the site of binding, as the SAE explanatory layer. The subject as a finite existence, when facing accumulated articulation tasks (symbol inflation, repeated addition, repeated multiplication, etc.), refuses articulation-cost unsustainability through Via Negativa. The concrete form this refusal takes within the articulation context is the introduction of binding operations (for example, $N$-ary cross-digit-position binding, power-notation cross-multiplications binding, and so on).

A binding operation produces inseparable two faces: one face is the processing capacity articulated by the binding (for instance, $N$-ary binding allows any integer to be articulated compactly); the other face is the remainder articulated by the binding (for instance, after $N$-ary binding, the articulations of the ones place and the tens place are constrained by positional rules and cannot articulate freely across positions). Both faces are substantive content produced by the binding operation; the paper does not articulate a value judgment (it does not, for example, articulate processing capacity as a "benefit" or remainder as a "cost"). This is consistent with the asymmetric mutual causation formula of Via Rho: the articulation operation produces construct and remainder as inseparable two faces.

This articulation belongs to the SAE explanatory layer, not the mathematical-definition layer. Via Negativa in itself does not presuppose any cost criterion or value criterion; the binding instantiation is a concrete form Via Negativa takes within the articulation context, not the definition of Via Negativa itself. The relationship between articulation cost and the subject's articulation resources is an open question, left to subsequent work.

1.4 Relationship to Paper 1: Substantive Rescoping, Not Withdrawal

Paper 1 articulates that $L_1$ contains "number, arithmetic, and the real line through Cauchy completion" as an initial sketch shared by the classical mathematical construction level and the SAE operational articulation level. The present paper articulates that, at the SAE operational articulation level, the $L_1$ articulation mode itself saturates in $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$.

Relative to Paper 1, the present paper performs a substantive rescoping; it is neither a withdrawal nor a mere detail expansion. Specifically:

• At the classical mathematical construction level, Paper 1's articulation that "$\mathbb{R}$ is obtained through Cauchy completion" remains valid (ZFC + Cauchy completion construction of $\mathbb{R}$ is a substantive achievement of nineteenth-century arithmetization of analysis, valid within the classical layer).
• At the SAE operational articulation level, the present paper articulates that the $L_1$ articulation mode itself saturates in $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, with the substrate $\mathbb{R}$ being articulated asymptotically across multiple layers. From the SAE operational articulation viewpoint, Cauchy completion (as effective Cauchy articulation; see § 7.2) is a subsequent-layer articulation mode and does not reside within $L_1$.

The two-level articulations each stand on their own and do not conflict (cf. the § 2 firewall). Paper 1, at the level of architectural sketch, lists number, arithmetic, and the classical completion of $\mathbb{R}$ together as the main trajectory of $L_1$; the present paper preserves the classical reading of this sketch but, at the level of SAE operational articulation, refines the $L_1$ mode into finite algebraic articulation and reads $\mathbb{R}$ as a substrate across multiple layers. This is a substantive rescoping rather than a withdrawal.

This relationship is the same kind of relationship Paper 2 established when it renamed the Paper 1 mode as the objectivity precisification mode — the articulated content of Paper 1 is maintained, and subsequent papers perform substantive sharpening at different levels or under different viewpoints.

1.5 Application of the Three Epistemological Anchors in This Paper

The present paper inherits the three epistemological anchors articulated in Paper 2 § 1.5.

Anchor A: SAE is a way of thinking, not a totalizing synthesis. The $L_1$ quantitative dimension and the complete precisification path articulated in this paper are not the universal foundation of mathematics. Other philosophies of mathematics may articulate different $L_1$. The objectivity precisification mode is the mode of one path within the SAE viewpoint, not the unique form of all mathematical articulation. § 9 maintains the substantive content of this anchor in its articulation of cross-paper relationships.

Anchor B: Remainder is ineliminable. In this paper, this anchor is concretely realized. The $L_1$ articulation mode itself saturates, but both the substrate and the articulation scope retain remainder. The two classes — substrate-internal remainder and substrate-external remainder — are each articulated. Any subsequent articulation mode still leaves its own remainder. The paper articulates: no single articulation mode can exhaust the real-line substrate. This is a refinement of Anchor B at the level of articulation.

Anchor C: Subjectivity is non-quantifiable. In this paper, this anchor is realized through subject Via Negativa. Subjective content does not enter mathematical articulation (in agreement with Paper 2), but the execution of subject Via Negativa (the refusal to take any articulation as a terminus) leaves traces (remainders) within the articulation process. The paper articulates this trace as belonging to the SAE explanatory layer, not to the mathematical-definition layer. This distinction substantively refines the difference between the SAE perspective and the standard mathematical foundations view (which presupposes that mathematical articulation unfolds independently of the subject).

1.6 What This Paper Does Not Claim

To forestall several misreadings, the present paper makes explicit what it does not claim. These non-claims fall into two groups: those concerning the SAE framework's stance, and those concerning specific technical implementation.

On the SAE framework's stance: the paper does not claim that the quantitative dimension together with the complete precisification path is the universal foundation of mathematics (this path is the concrete realization of one path within the SAE viewpoint); it does not claim that its articulation belongs to the mathematical-definition layer (Via Negativa articulation belongs to the SAE explanatory layer); it does not claim that the correspondence between the four inevitabilities and the four-fold pattern is an external theorem or derivation (this correspondence is an SAE-internal substantive identification); and it does not claim that fractal articulation is strong self-similarity (this paper's sub-articulation is weak self-similarity).

On specific technical implementation: the paper does not claim to negate classical mathematical construction (ZFC + Dedekind / Cauchy is valid at the classical layer); it does not claim that ZFCρ is the only realization of the additive path (ZFCρ is the default carrier choice; other formalizations are also valid); it does not claim that the distinction between substrate-internal and substrate-external remainder is directly articulable by the internal articulation tools of $L_1$ (this classification is retrospective); it does not claim to withdraw any content already published in Paper 1 and Paper 2 (the present paper performs substantive rescoping, not withdrawal); and it does not pre-specify the fixed trajectory of subsequent layer papers (the SAE mathematics series develops under the cumulative articulation principle).

1.7 Structure of the Paper

The remainder of the paper is organized as follows.

§ 2 articulates the overarching firewall of this paper: the distinction between the quantitative-dimension substrate and the $L_1$ articulation mode. This section also covers the substantive content of the $L_0$-to-$L_1$ entry, preparing for the main-step articulations to follow.

§§ 3 through 6 each articulate one $L_1$ main step. § 3 articulates Main Step 1 (mark without constructing "1"). § 4 articulates Main Step 2 (additive path). § 5 articulates Main Step 3 (multiplicative path). § 6 articulates Main Step 4 (closure and remainder).

§ 7 articulates the substantive content of the quantitative-dimension substrate, including the distinction between classical $\mathbb{R}$ and the SAE operational articulation substrate, and the distinction between classical and effective Cauchy completion.

§ 8 articulates the synthesis of fractal registration discipline, with the registration standards for each of the three classes (cross-level threshold, within-layer fractal, remainder ledger structure).

§ 9 articulates cross-paper relationships: relationships to Paper 1, Paper 2, Methodology 10, Methodology 00, and ZFCρ Paper 0, together with the relationship to the mathematical community's current working practice (§ 9.6).

§ 10 articulates open questions and subsequent trajectory, including the set-theory trajectory as a distinct trajectory within the SAE mathematics network and its distinction from the present paper (which lies on the quantitative trajectory).

Acknowledgments and references follow.

The paper does not include detailed appendices. Deeper engagement with specific technical traditions (the concrete articulation of complex analysis, the concrete content of Cauchy completion, the detailed articulation of $p$-adics, the specific technical content of ZFCρ, and so on) is left to subsequent specialized papers.

2. The Distinction Between Substrate and Articulation Mode

2.1 Two Distinct Objects

This section serves as the overarching firewall of the paper. It articulates the key distinction on which the remaining sections of the paper depend: the quantitative-dimension substrate and the $L_1$ articulation mode are two distinct objects and should not be conflated.

The quantitative-dimension substrate is the "totality of quantities" articulated along the quantitative dimension. At the level of classical mathematical construction, through ZFC together with Dedekind cuts (or Cauchy sequence equivalence classes, etc.), it is realized as the real line $\mathbb{R}$ as a completed object. This classical internal construction holds within the classical layer, and the present paper does not negate it.

The $L_1$ articulation mode is a finite collection of algebraic tools under the SAE operational articulation viewpoint, containing finite algebraic operations (the four arithmetic operations, radicals) together with finite polynomial constraints over $\mathbb{Q}$ (note: "finite polynomial constraints" denotes the core range of articulation tools, not restricted to reals expressible by radicals; the real roots of quintic and higher polynomials cannot in general be concretely constructed via radicals, yet they remain algebraically defined as real roots of integer-coefficient polynomials). These tools capture the real algebraic numbers $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ (real closed field) within the substrate.

The substrate and the articulation mode are not identical. The $L_1$ articulation mode saturates in $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, but no single articulation mode can exhaust the substrate. The transcendentals, the uncomputable reals, and the undefinable reals articulated within the substrate are substrate-internal content that the $L_1$ articulation mode does not capture. Subsequent layers each introduce new articulation modes, each capturing different sub-structures within the substrate.

This distinction is crucial to the remaining sections of the paper. The articulation of Main Step 4 (closure and remainder), the articulation of multiple types within the remainder ledger (substrate-internal vs. substrate-external), and the articulation of $L_2$ and subsequent layers, all depend on the stability of this distinction. If the substrate and the articulation mode are read together as a single object, the articulation of remainder structure loses its meaning, and the relationship between the present paper and Paper 1 will be misread as withdrawal rather than as refinement.

2.2 Firewall Statement

This section gives the central firewall statement of the paper. The statement responds to the key risk of the paper being read as a withdrawal of classical mathematical construction.

Firewall statement:

> Classical mathematics, via ZFC together with Dedekind cuts, Cauchy sequence equivalence classes, or other equivalent internal constructions, can define $\mathbb{R}$ as a completed object. The present paper does not retract this internal classical construction. The paper articulates: from the SAE operational articulation viewpoint, no single articulation mode exhausts the real-line substrate. Different articulation modes capture different strata of the substrate.

This statement carries three pieces of substantive content.

First, the present paper does not conflict with classical mathematical construction. The paper does not claim that $\mathbb{R}$ cannot be defined as a completed object. The internal construction work of classical mathematics is valid, effective within its own layer. ZFC + Cauchy completion constructs $\mathbb{R}$, and this is valid within the classical layer.

Second, the present paper articulates under the SAE operational articulation viewpoint. SAE operational articulation does not presuppose that the articulated object is a pre-existing structure to be progressively revealed. It treats articulation as a process the subject carries out, with the articulated object emerging as the product of that process rather than as a fixed structure already in place before the operation.

Third, the finiteness of single articulation modes. From the SAE operational articulation viewpoint, any concrete articulation mode uses a finite collection of tools or a finite rule schema; such tools can generate infinite collections (e.g., $\mathbb{N}, \mathbb{Q}, \mathbb{Q}^{\rm alg}_{\mathbb{R}}$ are all generable or describable by finite rule schemas), but their capture range is constrained by the kinds of structure that schema can express. $L_1$ finite algebraic articulation can capture real quantities expressible by finite algebraic constraints, namely $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, but it cannot capture reals not satisfying any algebraic equation (transcendentals), uncomputable reals, or undefinable reals.

This firewall makes Paper 1's articulation that $L_1$ contains "$\mathbb{R}$ through Cauchy completion" remain valid at the classical mathematical construction layer (ZFC + Cauchy completion constructs $\mathbb{R}$, valid). The present paper articulates that, at the SAE operational articulation level, the $L_1$ articulation mode itself saturates in $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$. This does not retract Paper 1's articulation at the classical layer; rather, it constitutes substantive rescoping at the SAE operational articulation level (see § 9.1 for details).

The two-level articulations each stand on their own and do not negate each other. The classical mathematical construction layer is concerned with "whether $\mathbb{R}$ can be internally constructed as a completed object"; the SAE operational articulation layer is concerned with "what any single articulation mode can capture from the substrate." The two concerns are answered at different levels and do not conflict.

2.3 SAE Operational Articulation and the Process Commitment

The SAE framework carries a process commitment: articulated content is an object that appears within the articulation process, not a pre-existing structure being progressively revealed. This commitment has been substantively applied in Paper 1's layer articulation and Paper 2's multi-path articulation. The present paper concretely realizes this commitment in $L_1$ articulation.

Specifically: under the SAE operational articulation viewpoint, the real line $\mathbb{R}$ is an emergent substrate articulated cumulatively across multiple layers, not a fixed object pre-existing before articulation. Classical mathematical construction constructs $\mathbb{R}$ internally as a completed object, which is valid within the classical layer. But from the SAE operational articulation perspective, the articulation of $\mathbb{R}$ as substrate is a cumulative process across layers: $L_1$ articulation captures $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$; subsequent layer articulations capture other strata; and the totality of the substrate is never completely captured within any single layer.

This process commitment is consistent with the core commitment of SAE philosophy: subjectivity is constitutive of articulation, articulation is a process the subject carries out, and the process leaves remainder; the remainder drives subsequent articulation. To treat the substrate as a pre-existing fixed object would render articulation into a report on a pre-existing structure, removing the constitutive role of the subject in the operation. To treat the substrate as emergent across layers preserves the subject's constitutive role within the articulation process.

The substantive content of this distinction deserves explicit articulation. The substantive achievement of classical mathematical construction is: without assuming additional resources beyond $\mathbb{R}$, it constructs the complete $\mathbb{R}$ (including transcendentals, uncomputable reals, and undefinable reals) purely from $\mathbb{Q}$ and set-theoretic tools. This work — filling out the interior of $\mathbb{R}$ via delicate construction without stepping outside the dimension of $\mathbb{R}$ — is one of the most elegant achievements in the history of mathematics. The present paper does not retract this achievement, nor does it claim that this achievement is a defect.

The present paper articulates what the SAE operational articulation perspective is concerned with: what part of the substrate the subject captures through various articulation modes; what remainder each articulation mode leaves; and how the remainder drives subsequent articulation modes to emerge. These concerns differ from those of classical mathematical construction, and the two are articulated at different levels. The SAE perspective accepts the achievement of classical mathematical construction as already-established mathematical fact, while focusing its own substantive interrogation.

The summary of this distinction: classical mathematical construction and SAE operational articulation are each concerned with different questions, hold different epistemological stances, but do not conflict in mathematical substance. Classical mathematical construction provides the internal construction of $\mathbb{R}$, which is a valid mathematical work; SAE operational articulation articulates $\mathbb{R}$ as cross-layer emergence, focusing on remainder and cross-layer dynamics, which is the substantive articulation of the SAE perspective. The two perspectives each have substantive content; they do not negate one another but address different interrogations.

On anticipatory naming: throughout the remaining sections (§§ 3 through 7), reference to the "real-line substrate" is made frequently as a reference frame. Under the strict SAE operational articulation viewpoint, $\mathbb{R}$ is an emergent substrate accumulating across multiple layers; at the $L_1$ stage, it has not yet fully emerged, so the reference to "real-line substrate" is, strictly speaking, anticipatory naming (using an object not yet fully emerged as a reference). This anticipatory naming is legitimate within the paper's articulation; it is required by the work of cross-layer articulation — without a reference frame, the classification articulation of $L_1$ remainder (substrate-internal vs. substrate-external; see § 6.3) cannot proceed. The reader should understand that this reference frame is anticipatory and is not invoking a pre-existing structure under progressive revelation. § 6.3.1 further makes this anticipatory character explicit in its application to remainder classification.

2.4 The $L_0$ Quantitative Dimension and Entry into $L_1$

Paper 2 § 5.2 articulates the quantitative dimension as one of the multiple $L_0$ dimensions, with the smallest involvement of the subject, complete precisification potential, and strong public re-enterability. The quantitative dimension articulates naturally along the complete precisification path.

At $L_0$, the qualitative articulation of the quantitative dimension contains comparative judgments such as "more / fewer" or "more than that flock." These judgments carry substantive comparative content and satisfy the four inevitabilities of Paper 2 § 3, yet they contain no mark handle. There is no "1," no unit, and no fixed reference.

The step from the $L_0$ quantitative dimension into $L_1$ is the introduction of the mark handle "1". This introduction is not a single instant but a process within sub-articulation (see § 3 for details): articulation of the concept of precise quantity, propagation of the concept across subjects, public binding of the symbol system, and "1" as a fixed publicly recognized token. This sub-articulation has cross-level threshold character (crossing from $L_0$ into $L_1$) and differs in type from the within-layer fractal sub-articulation of Main Steps 2 and 3 (see § 8 for synthesis).

Once the mark handle "1" is introduced, the $L_1$ articulation mode opens. Main Step 2 (additive path) develops on top of "1"; Main Step 3 (multiplicative path) develops on top of addition; Main Step 4 (closure and remainder) articulates the saturation of the articulation mode itself and the multiple types of remainder. §§ 3–6 each articulate one main step.

Cross-dimensional comparison: a similar sub-articulation process occurs in other $L_0$ dimensions, but the form of the mark handles articulated differs. In the truth-value dimension, the mark handles are $\top$ and $\bot$ (true and false); in the spatial-geometric dimension, the mark handle is the point; in the aesthetic dimension, the mark handles are canonical works or stylistic frameworks. Mark handles always belong to Main Step 1 along every path, but their concrete forms differ across dimensions. The "1" of the quantitative dimension is one such realization, not a universal mark applied across all dimensions. This cross-dimensional multiplicity embodies Paper 2's framework of multiple $L_1$ trajectories.

The paper focuses on the trajectory of the quantitative dimension and does not articulate mark handles and subsequent articulations along other dimensions. Articulation of other dimensions is left to subsequent disciplinary-series papers (logic series, geometry series, relational mathematics series, aesthetic mathematics series, set-theory series, etc.), each articulating its own dimension's trajectory.

3. Main Step 1: Mark Without Constructing "1"

3.1 Main Step 1 and Inevitability 1

Main Step 1 articulates the introduction of the mark handle "1," corresponding to Inevitability 1 (comparison is unavoidable): comparison as an articulation act must have a minimal reference, and the mark handle "1" is articulated as that reference.

On the $L_0$ quantitative dimension, the subject has already articulated qualitative comparisons ("more / fewer," "more than that flock"), but there is no mark handle. Comparisons carry substantive content but have no fixed reference; the content of comparisons need not be consistent across subjects (a hundred sheep are many to a farmer but few to a kingdom). Main Step 1 articulates the process of transitioning from this state of qualitative comparison to a state equipped with a fixed reference.

The introduction of "1" is the product of this transition. "1" is not introduced in a single moment; rather, it is gradually articulated through a sub-articulation process. This sub-articulation has cross-level threshold character (crossing from $L_0$ into $L_1$), differing in type from the within-layer fractal sub-articulation within Main Steps 2 and 3. § 3.2 articulates the substantive content of this sub-articulation; § 8 synthesizes the registration standards applicable to each of the sub-articulation classes.

3.2 Sub-articulation of Main Step 1: The Cross-level Threshold Class

The internal sub-articulation of Main Step 1 articulates the transition process from $L_0$ to $L_1$, rather than the unfolding process within $L_1$. This sub-articulation contains four inner steps, each articulating a phase of the transition.

3.2.1 Inner Step 1: Articulating the Concept of Precise Quantity

At $L_0$, the subject articulates cumulatively through qualitative comparison, but the content of comparison need not be consistent across subjects. As a finite existence, the subject does not accept that articulation should remain in the state of "unable to fix the content of comparison." Through Via Negativa, the subject refuses qualitative comparison as terminus and articulates precise quantity as a new articulated object.

At this phase, precise quantity is conceptual; there is no token-level realization yet. The subject articulates "there exists a way of comparing such that the content of comparison can be fixed and does not vary with the subject," but the concrete token (such as "1") has not yet emerged. This inner step is a sub-mark — it marks precise quantity as a possible articulation direction but does not yet realize that direction as a concrete token.

This inner step corresponds in structural form to the mark step within within-layer fractals (both articulate sub-marks), but its substantive content differs: within-layer mark directly introduces a new sub-token within a single layer; cross-level threshold mark, at the boundary between two layers, introduces a new conceptual direction, with the token being fixed only at the closure of inner step 4. This distinction is further articulated when synthesizing registration discipline in § 8.

3.2.2 Inner Step 2: Cross-subject Propagation of the Concept

After the concept of precise quantity is articulated, the concept propagates among subjects. Multiple subjects attempt to articulate the concept of precise quantity. This process is in the forward direction — the concept spreads from one subject to many, articulating precise quantity as a possible public articulated object.

But the propagation leaves remainder: the concept of precise quantity articulated by different subjects need not be consistent. Subject A might articulate precise quantity as "a definite few" (one sheep, two sheep); subject B might articulate it as "a definite many" (a flock, a team); subject C might articulate it as "a definite measure" (a bundle, a sack). The concrete variants of articulation by different subjects need not be the same, and this inconsistency is the remainder of this inner step.

This remainder cannot be resolved within a single subject. A single subject cannot articulate, on its own, a concept of precise quantity consistent across subjects, because whether the concept is consistent requires inter-subjective comparison. The remainder forces the next inner step: a mechanism must be articulated to bind the concept of precise quantity into consistent content across subjects.

3.2.3 Inner Step 3: Public Binding via Symbols

To make the concept of precise quantity consistent across subjects, the subject articulates a symbol system as a publicly recognized recording. Symbols (notches, counting sticks, numerical characters, etc.) are bound to the concept of precise quantity: the same symbol points to the same concept of precise quantity for any subject.

This binding is cross-subjective, not internal to a single subject. Any subject who sees the symbol "|||" articulates "three," regardless of whether that subject has independently articulated the concept before. The symbol system, in this sense, is publicly re-enterable — it makes the concept of precise quantity consistent across subjects and makes articulation conveyable across subjects.

This inner step is a binding — a cross-subjective binding that makes conceptual articulation compact. It corresponds in structural form to the binding step in within-layer fractals (such as $N$-ary positional binding in § 4, or power-notation cross-multiplications binding in § 5), but its substantive content differs: within-layer binding binds the products of different steps within a single layer; cross-level threshold binding binds concepts across subjects.

The public binding also realizes the concrete realization of Paper 2's fifth condition (public re-enterability) at the entry of $L_1$. The fifth condition is not an independent main step but a cross-step articulation feature: the public binding here is the first concrete realization of this feature at the entry of $L_1$.

3.2.4 Inner Step 4: "1" as Fixed Public Token + Remainder

After public binding via symbols, "1" emerges as a fixed publicly recognized token. Construct = "1" as a stable, repeatable, cross-subjectively fixed mark, pointing to the same minimal precise-quantity reference for any subject. In this sense, "1" completes the transition from $L_0$ to $L_1$: it is the first concrete token of $L_1$ and the fixed reference on which subsequent $L_1$ articulation modes (addition, multiplication, closure) all depend.

Closure produces remainder. Remainder = "1" itself does not articulate how "more than 1 by 1" is articulated. "1" fixes the minimal precise-quantity reference but does not articulate how quantities greater than "1" are articulated. After "1" is articulated, one naturally interrogates: what about "more than 1"? what about "more 1s"? This interrogation is the realization of Inevitability 4 at Main Step 1, inner step 4.

This remainder forces Main Step 2 (additive path). The additive path is the subject's articulated response to this remainder: it articulates the "+" action, allowing "1+1=2" to be articulated as a new precise quantity, and "+1" to be iterated to articulate subsequent natural numbers (3, 4, 5, ...). The entry to Main Step 2 is excited directly by the remainder of Main Step 1, inner step 4.

3.3 Cross-dimensional Mark Handles

The sub-articulation pattern of Main Step 1 (precise quantity concept → cross-subject propagation → public symbol binding → fixed public token + remainder) is a general cross-level threshold pattern. A similar pattern is realized at the introduction of mark handles in other $L_0$ dimensions, but the concrete content varies across dimensions.

Truth-value dimension: the mark handles are $\top$ (true) and $\bot$ (false). The sub-articulation roughly corresponds to: at the $L_0$ truth-value qualitative articulation ("more or less right," "obviously wrong"), the subject articulates a definite truth-value concept (inner step 1) → the truth-value concept propagates across subjects (inner step 2) → the truth-value symbol system attains public binding (inner step 3) → $\top$ and $\bot$ emerge as fixed publicly recognized tokens, with the remainder forcing subsequent logical-operation articulation (inner step 4).

Spatial-geometric dimension: the mark handle is the point. The sub-articulation roughly corresponds to: at the $L_0$ spatial qualitative articulation ("here vs. there," "near vs. far"), the subject articulates a definite location concept → the location concept propagates across subjects → location symbols attain public binding → the point emerges as a fixed publicly recognized token, with the remainder forcing subsequent geometric-operation articulation.

Aesthetic dimension: the mark handles are canonical works or stylistic frameworks. The sub-articulation roughly corresponds to: at the $L_0$ aesthetic qualitative articulation ("good," "beautiful," "moving"), the subject articulates a definite aesthetic reference → the aesthetic reference propagates across subjects → canonical works or stylistic frameworks attain public binding → the canon emerges as a fixed publicly recognized token, with the remainder forcing subsequent aesthetic-comparison articulation.

The substantive meaning of the cross-dimensional comparison is: the pattern is conserved, but the concrete content varies across dimensions. "1" is the concrete realization in the quantitative dimension, not a universal mark applied across all dimensions. Each dimension has its own mark handle and walks into its own $L_1$ trajectory. The present paper focuses on the trajectory of "1" in the quantitative dimension; the concrete articulation in other dimensions is left to subsequent disciplinary-series papers.

This cross-dimensional multiplicity also concretely realizes Paper 2's multiple-$L_1$-trajectory framework within Main Step 1: the multiple trajectories are not an abstract framework proposed by Paper 2 but a structural fact observable from the sub-articulation level — sub-articulations of mark handles in different dimensions articulate different fixed tokens, each launching a different $L_1$ trajectory.

3.4 Relationship to Paper 1 / Paper 2

Paper 1, in its § 2, articulates the transition from $L_0$ to $L_1$: the subject, on the $L_0$ quantitative dimension ("more / fewer"), encounters closure failure concerning magnitude; closure failure produces remainder; the remainder is handled by the introduction of "1." Paper 1's articulation is a single-layer initial sketch — it articulates the overall direction of the transition without unfolding the sub-articulation process.

Paper 2 § 2.2 articulates "1" as the minimal discrete counting reference, distinguished from 0, as a stable, repeatable, cross-subjectively fixed token. Paper 2 places "1" at the level of inner step 4, articulating "1" as a token after the transition is completed, but without articulating the process of transition itself.

§ 3.2 articulates the four inner steps of the process of "1"'s introduction (precise quantity concept → cross-subject propagation → public symbol binding → fixed public token + remainder). This articulation refines the treatments of "1" in Paper 1 and Paper 2 to the level of sub-articulation, articulating the substantive content of the transition process.

This refinement does not retract the articulations of Paper 1 and Paper 2. Paper 1's articulated overall direction (from $L_0$ closure failure to the introduction of "1") and Paper 2's articulated properties of "1" (stable, repeatable, cross-subjectively fixed) are naturally realized within the present paper's sub-articulation: the overall direction corresponds to the whole transition from inner step 1 through inner step 4; the properties of "1" correspond to the construct produced at the closure of inner step 4. The sub-articulation in the present paper substantively refines, rather than revises, the articulations of Paper 1 and Paper 2.

4. Main Step 2: Additive Path

4.1 Main Step 2 and Inevitability 2

Main Step 2 articulates the substantive content of the additive path, corresponding to Inevitability 2 (cannot but carry direction): after the mark handle "1" is introduced, articulation unfolds in the forward direction of "more than 1." The additive path emerges as the articulation of this forward direction.

The remainder left at the closure of Main Step 1, inner step 4, is: "1" itself does not articulate how "more than 1 by 1" is articulated. As a finite existence, the subject, through Via Negativa, does not accept articulation remaining at "1" — the minimal reference — and interrogates how "more" is articulated. Main Step 2 is the articulated response to this interrogation.

Unlike Main Step 1, the internal sub-articulation of Main Step 2 has within-layer fractal character: each inner step is within $L_1$ and no longer crosses layers. This is because "1" has stably been articulated as an $L_1$ token, and Main Step 2 develops subsequent articulation on top of this token without involving cross-layer transition. § 8 synthesizes the differences in registration discipline between cross-level threshold sub-articulation and within-layer fractal sub-articulation.

4.2 Sub-articulation of Main Step 2: The Within-layer Fractal Class

The internal sub-articulation of Main Step 2 contains four inner steps, each articulating a phase of the unfolding of the additive path. This sub-articulation is within-layer fractal — the whole process unfolds within $L_1$, realized through the within-layer fractal pattern.

4.2.1 Inner Step 1: The "More than 1 by 1" Remainder Forces the Articulation of "+"

The remainder left by Main Step 1, inner step 4 is: "1" itself does not articulate how "more than 1 by 1" is articulated. The subject does not accept this stagnation; through Via Negativa, it refuses the state of "articulation stopping at 1" and articulates "+" as a sub-mark.

"+" is the inner mark of the additive path. It is not an abstract operational symbol but the articulation of the concrete action "add one 1." "1+1" articulates a new precise quantity "2"; this precise quantity is, like "1," an $L_1$ token, but substantively it is obtained by accumulating upon "1."

This inner step is a within-layer mark — it directly introduces a new sub-token ("+") within $L_1$, and this sub-token enables subsequent sub-articulation to unfold naturally within $L_1$. It corresponds in structural form to Main Step 1, inner step 1 (cross-level mark, articulating the precise-quantity concept as a new direction), but its substantive content differs: Main Step 2, inner step 1 directly introduces a sub-token within an already-stable $L_1$; subsequent steps develop on top of the sub-token without involving cross-layer transition.

4.2.2 Inner Step 2: 1+1=2 Accumulation, Symbol Inflation Remainder

After "+" is articulated, the accumulation process unfolds naturally: $1+1=2$, $2+1=3$, $3+1=4$, $\ldots$. Each accumulation articulates a new precise-quantity token. This accumulation is in the forward direction — continuous forward iteration, continuously articulating larger precise quantities.

But the accumulation process leaves a remainder: each new precise quantity articulated requires a new symbol, yet symbol articulation cannot inflate without bound. As a finite existence, the subject cannot articulate an independent symbol for every natural number. The symbols 1, 2, 3, 4, 5, 6, 7, 8, 9 can each have an independent symbol; but for 10, 11, 12, ..., 100, 101, ..., 1000, ..., articulating each as an independent symbol becomes unsustainable in articulation cost.

This symbol-inflation remainder is the concrete manifestation of articulation-cost unsustainability. As a finite existence, the subject, through Via Negativa, refuses articulation-cost unsustainability and articulates a demand for further organization of the accumulation. This demand receives its response in inner step 3.

The substantive content of this remainder deserves to be made explicit: it is not a logical remainder (the accumulation process is logically closed within $L_1$, with "$n+1$" articulating a new precise quantity for any already-articulated $n$). Rather, it is a remainder of articulation-cost character — the subject as a finite existence, facing an unbounded accumulation, does not accept articulation cost inflating without bound, and forces subsequent sub-articulation to introduce a binding tool.

4.2.3 Inner Step 3: $N$-ary Positional Binding

So that every integer can be articulated without indefinitely inflating symbols, the subject articulates the $N$-ary positional notation. The finitely many already-articulated symbols (for example, 0, 1, ..., 9 in base 10) articulate every integer through positional composition: 10 = "1" in tens + "0" in ones; 11 = "1" in tens + "1" in ones; ...; 100 = "1" in hundreds + "0" in tens + "0" in ones; and so on.

$9+1=10$ is articulated naturally under this positional notation: the ones place "9" plus "1" carries over, articulating "1" in the tens place and "0" in the ones place. The accumulation process no longer requires articulating new symbols; rather, it requires articulating the carry rules of accumulation under positional notation.

$N$-ary positional notation is cross-digit-position binding. The same set of finitely many symbols, through composition at different positions, articulates infinitely many precise quantities. This binding is the concrete instantiation of Via Rho at the site of binding — a binding operation produces inseparable two faces:

• One face is the processing capacity articulated by the binding (every integer can be articulated by finitely many symbols through positional composition, with compact articulation).
• The other face is the remainder articulated by the binding (the articulations of the ones place and the tens place are constrained by positional rules; one cannot articulate freely across positions; carry rules constrain local degrees of freedom in articulation).

Both faces are substantive content produced by the binding operation; the paper does not articulate a value judgment. Processing capacity is not a "benefit," and remainder is not a "cost"; the two faces are substantive content of the binding operation, consistent with the asymmetric mutual causation formula of Via Rho — the articulation operation produces construct and remainder as inseparable two faces.

The choice of a specific base is contingent (trajectory-dependent), not universal:

• Base 10 because humans have ten fingers
• Base 12 because of astronomy (roughly twelve months in a year)
• Base 60 because of the Babylonian calendar
• Base 2 because of binary computing devices

But positional binding as an articulation mode is universal — the specific base differs across cultures, yet the binding pattern of "articulating infinitely many precise quantities through positional composition of finitely many symbols" emerges across cultures. This universality is the concrete realization, on the additive path, of within-layer sub-step 3's memory binding.

This corresponds in structural form to Main Step 1, inner step 3 (public binding of symbols, cross-subject binding), but its substantive content differs: cross-subject binding makes the concept consistent across subjects; cross-digit-position binding makes accumulation compact across positions. Both are cross-something bindings, making articulation compact, but the concrete dimension of binding differs.

4.2.4 Inner Step 4: Reverse Interrogation, $\mathbb{Z}$ Closure, Multiple-type Remainder

Main Step 2 attains closure through Inevitability 4 (cannot but be interrogated). Within the context of the additive path, the concrete form of interrogation naturally takes the form of reverse interrogation: "can addition be reversed?"

The answer is yes, articulating subtraction. Subtraction ($a - b$) is articulated as the reverse direction of addition: if $a + b = c$, then $c - b = a$. Subtraction and addition together form a forward-reverse direction binding, articulating the forward and reverse faces of the additive path.

After subtraction is introduced, multi-digit addition and subtraction are articulated naturally under $N$-ary positional notation (borrowing, carry, etc.). The additive path is fully articulated: on the natural numbers $\mathbb{N}$, addition closes in the forward direction, but subtraction may step outside $\mathbb{N}$ ($3-5$ is not in $\mathbb{N}$). To make both directions of subtraction close, negative numbers are articulated, expanding the articulated space from $\mathbb{N}$ to $\mathbb{Z}$.

The additive path attains full closure on $\mathbb{Z}$ — addition / subtraction / forward / reverse all close within $\mathbb{Z}$. Construct $= \mathbb{Z}$, articulating the structure of the integer ring.

Closure leaves multiple-type remainder. The remainder here is not a single remainder but a multi-type coexistent remainder ledger.

Type i: Non-closure remainder of division. Within $\mathbb{Z}$, $1 \div 3$ does not articulate any token in $\mathbb{Z}$. This remainder is not a logical remainder (logically, $1 \div 3$ has no $\mathbb{Z}$-solution within $\mathbb{Z}$); rather, it is a cross-articulation-type remainder: it requires articulating a new operation (division), and the closure of the new operation cannot be completed within the additive path. This remainder forces the articulation of Main Step 3 (multiplicative path). The additive path closes within its own articulated space, but the remainder pointing toward the multiplicative path has already emerged within the additive path.

Type ii: Unbounded accumulation remainder. The additive path closes in $\mathbb{Z}$, and $\mathbb{Z}$, from the classical mathematical construction perspective, is an infinite set. As a finite existence, the subject's actual articulation can only capture the potential-infinity articulation that "any specified finite $n$ can be articulated as $\pm n \in \mathbb{Z}$." But the actual-infinity articulation that "$\mathbb{Z}$ as a whole is an already-completed set" is not directly captured within the $L_1$ additive-path articulation mode.

This transition (potential → actual infinity) is a remainder left by the $L_1$ additive path. Under the classical mathematical construction view, it is articulated through ZFC set theory by extensional closure into actual infinity ($\mathbb{Z}$ as a completed set with cardinality $\aleph_0$). But ZFC's articulation of actual infinity also leaves its own remainder (see related subsequent papers). This remainder is not articulated deeply within the present paper; the paper only marks its existence as one of the multiple-type remainders after additive-path saturation.

The two types of remainder each force different directions of subsequent articulation. Type i remainder forces the natural unfolding of Main Step 3 (multiplicative path) within the present paper. Type ii remainder forces a subsequent articulation mode (whose concrete form is not pre-specified, possibly involving introducing set-theoretic concepts within the quantitative trajectory or cross-trajectory articulated connections), not articulated within the present paper.

4.3 ZFCρ as the Default Realization of the Additive Path

The default realization of the additive path within specific mathematical formalization is ZFCρ. ZFCρ (Qin, series in progress) articulates the concrete remainder ρ left by the extensional closure of ZFC set theory, as the mathematical carrier of Via Rho at the formalization level of the additive path of the quantitative trajectory.

The relationship between ZFCρ and the quantitative trajectory deserves explicit articulation. ZFCρ is not a paper in the set-theory series (a series whose mark handle is "set" and which walks the set-theory trajectory); rather, it is a paper within the quantitative trajectory that adopts set-theoretic vocabulary as its formalization carrier. Specifically:

• The substantive content articulated by ZFCρ is content of the additive path within the quantitative trajectory (addition operations, the integer set, $N$-ary binding, etc.), not the substantive content of the concept of set itself within the set-theory trajectory.
• ZFCρ adopts ZFC + ρ as its formalization carrier (set-theoretic vocabulary); this carrier choice is a choice of formalization tool and does not determine the trajectory.
• The substantive content of the additive path of the quantitative trajectory can be articulated through different formalization carriers (Peano arithmetic, ZFC + ρ, type theory, etc.); ZFCρ is the default choice, not the unique one.

The cross-layer character of the ZFCρ formalization carrier. The ZFC axiom system, through axiomatic articulation, unifies content across multiple SAE layers within a single set-theoretic framework. This includes the axiom of infinity (articulating actual infinity, which is content cross-cutting the $L_1$ additive-path substantive content of the quantitative trajectory), the axiom of power set (articulating uncountable cardinality, cross-layer content), the axiom of choice (containing content crossing the formal-definability layer), and the axiom of replacement (articulating large cardinals, also crossing multiple layers). When ZFCρ serves as the carrier of the additive path of the quantitative trajectory, these axioms that cross $L_1$ articulate, within the ZFCρ formalization, content forced out by $L_1$ remainder, but they do not change the proper substantive content of $L_1$ itself.

To be concrete: § 4.2.4 articulates that actual infinity is a remainder of the additive path of the quantitative trajectory $L_1$. ZFCρ formalization, through the axiom of infinity within the same formalization carrier, articulates actual infinity; but this articulation is a manifestation of ZFCρ formalization's cross-$L_1$ multi-layer character, not the substantive content of the $L_1$ articulation mode itself. Therefore the articulation of § 4.2.4 (actual infinity is an $L_1$ remainder) does not conflict with the articulation of § 4.3 (ZFCρ formalization contains the axiom of infinity); they belong to different layers and remain coherent.

The substantive achievement of classical mathematical construction (cf. § 2.3) includes this cross-layer collapse — ZFC, within a single formalization framework, articulates content across multiple SAE layers in unified form. This is, in the mathematical community's practice, a source of high productivity. From the SAE operational articulation perspective, however, this collapse also means that the mathematical community, while working within ZFC, does not naturally articulate cross-layer distinctions. ZFCρ articulates the relationship between this collapse and the SAE perspective; the specific technical content (including the concrete remainder ρ left by the extensional closure of ZFC, the long-trajectory dynamics of ZFCρ, etc.) is articulated in subsequent ZFCρ-series papers.

The substantive content of the additive path — the forward direction of "more than 1," forward iteration of accumulation, symbol-inflation remainder, $N$-ary positional binding, reverse interrogation producing subtraction, $\mathbb{Z}$ closure, multiple-type remainder — holds under any legitimate realization. The present paper articulates the additive path at this abstract level, without depending on a specific formalization.

4.4 The Instantiation of Subject Via Negativa as Binding within the Additive Path

Subject Via Negativa is concretely realized at multiple points within the additive path, all of which appear as binding operations.

First site: from inner step 2 to inner step 3. The symbol-inflation remainder forces the articulation of $N$-ary positional binding. As a finite existence facing cumulative articulation, the subject, through Via Negativa, refuses articulation-cost unsustainability (symbols inflating without bound). The concrete form this refusal takes within the additive-path context is the introduction of $N$-ary binding operation. The $N$-ary binding operation produces inseparable two faces (cf. § 4.2.3): processing capacity (every integer is articulated compactly) and remainder (cross-positional articulation is constrained by positional rules).

Second site: reverse interrogation at inner step 4. Single-forward iteration leaves a non-closure remainder in the reverse direction. The subject, through Via Negativa, refuses articulation to stop in a single forward direction (this refusal is also a concrete form of Via Negativa's non-acceptance of articulation as terminus), articulates reverse interrogation, and introduces subtraction. The reverse-interrogation operation produces inseparable two faces: processing capacity (subtraction articulated, forward-reverse symmetry, the $\mathbb{Z}$ articulated space) and remainder (the reverse of subtraction does not close within $\mathbb{N}$, forcing the expansion $\mathbb{N} \to \mathbb{Z}$).

Third site: from Main Step 2 to Main Step 3. After the additive path closes in $\mathbb{Z}$, repeated additive accumulation (e.g., $5+5+5+5+5$) becomes high in articulation cost. The subject, through Via Negativa, refuses this articulation-cost unsustainability and articulates multiplication as a binding tool for repeated addition. The transition is articulated in Main Step 3, but the remainder forcing the transition has already emerged within Main Step 2. The multiplicative binding operation produces inseparable two faces (cf. § 5).

The logical closure of the additive path is not a problem (the additive path is genuinely closed on $\mathbb{Z}$; both addition and subtraction close within $\mathbb{Z}$). The transition from Main Step 2 to Main Step 3 is not a logical necessity; it is the concrete form Via Negativa takes regarding articulation cost. As a finite existence facing ever-larger cumulative articulation tasks, the subject, through Via Negativa, repeatedly refuses articulation-cost unsustainability, articulating new binding operations at every cost-heavy node. This pattern is concretely realized at multiple points within the additive path.

The distinction between Via Negativa in itself and binding instantiation. Via Negativa in itself is the subject's refusal of any concrete articulation as terminus; in itself, it presupposes no cost criterion and no value criterion. Within the specific context of the subject's facing cumulative articulation tasks, Via Negativa naturally instantiates as a refusal of articulation-cost unsustainability; the concrete form of this refusal within the articulation context is the introduction of binding operations. This instantiation is the concrete form Via Negativa takes within the articulation context, not the definition of Via Negativa itself.

This distinction is important for SAE-internal doctrinal coherence. The SAE perspective must not be misread as a utilitarian efficiency-optimization framework — SAE does not claim that the processing capacity articulated by a binding is a "benefit," nor that the remainder articulated by a binding is a "cost." The two faces of the binding operation are concrete instantiations of the asymmetric mutual causation formula of Via Rho, not value judgments.

This articulation belongs to the SAE explanatory layer (cf. § 1.3, fifth contribution). The concrete realization of binding instantiation within the additive path is the SAE perspective's explanation of why the subject articulates $N$-ary notation, subtraction, and multiplication — these transitions. This articulation is not a logical derivation at the classical mathematical construction level (classical mathematical construction can articulate the substantive content of the additive path independently of this SAE explanation); rather, it is the SAE perspective's articulation of the concrete realization of subject Via Negativa within the articulation process.

The concrete relationship between the subject's articulation cost and the subject's articulation resources is an open question. The paper does not articulate a specific cost measure or resource model; it articulates only the instantiation of Via Rho at the site of binding as substantive content of the SAE explanatory layer. A detailed cost / resource relationship is left to subsequent SAE methodology papers. This binding instantiation articulation is consistent with the articulation in § 1.3 (fifth contribution) of Via Negativa as the SAE explanatory layer (not the mathematical-definition layer); the power-notation binding instantiation articulated in § 5.2.3 follows the same pattern as here, both being concrete realizations of Via Rho at the site of binding.

5. Main Step 3: Multiplicative Path

5.1 Main Step 3 and Inevitability 3

Main Step 3 articulates the substantive content of the multiplicative path, corresponding to Inevitability 3 (comparison cannot remain isolated, it propagates; cannot but develop further): after the additive path has been articulated, development proceeds toward higher-order articulation of repeated addition, articulated as the multiplicative path through a (count, unit) binding.

The remainder left at Main Step 2, inner step 4 contains a cross-articulation-type cost: the articulation cost of repeated additive accumulation ($3+3+3+3+3$, $5+5+5+5+5+5$, etc.) is unsustainable. As a finite existence, the subject does not accept this articulation-cost unsustainability and, through Via Negativa, articulates a new binding operation in response to this remainder. The response is the introduction of multiplication; Main Step 3 develops on this foundation.

As with Main Step 2, the internal sub-articulation of Main Step 3 has within-layer fractal character. The whole process unfolds within $L_1$, with each inner step within $L_1$ and no cross-layer transition. However, inner step 4 of Main Step 3 contains a nested cascade structure, which makes the sub-articulation of the multiplicative path slightly deeper in inner-depth than that of Main Step 2. § 5.3 articulates in detail the substantive significance of this asymmetry, including the substantive distinction between the real closed field and the algebraically closed field.

5.2 Sub-articulation of Main Step 3: The Within-layer Fractal Class

The internal sub-articulation of Main Step 3 contains four inner steps. Inner steps 1 through 3 correspond in structural form to those of Main Step 2, with content varying by articulation context. Inner step 4 contains a nested cascade and is the substantive focus of Main Step 3's sub-articulation.

5.2.1 Inner Step 1: The Repeated Addition Cost Remainder Forces the Articulation of "×"

Repeated additive accumulation within Main Step 2 has high articulation cost (cf. § 4.4, third site). The subject does not accept this articulation cost; through Via Negativa, it refuses the articulated form of "articulating an independent expansion for each repeated addition" and articulates "×" as a sub-mark.

"×" is the inner mark of the multiplicative path. It articulates "the compact articulation of repeated addition": $3 \times 5$ articulates the accumulation "$5$ repeated $3$ times" without unfolding into $5+5+5$. This articulation carries two pieces of substantive content.

First, (count, unit) binding. After "×" is introduced, $a \times b$ articulates the binding of two pieces of information: count (how many repetitions) and unit (what is being repeated). This binding is a new articulation structure that does not naturally emerge within the additive path.

Second, the emergence of commutativity. Under the (count, unit) binding structure, $3 \times 5$ and $5 \times 3$ articulate the same precise quantity, but from different articulation viewpoints — the former takes $5$ as unit and $3$ as count; the latter takes $3$ as unit and $5$ as count. Commutativity is not an axiom; it is the articulated result of the exchangeability of the two pieces of information within (count, unit) binding.

This inner step is a within-layer mark — it introduces a new sub-token ("×") within $L_1$, and this sub-token enables subsequent sub-articulation to unfold within the multiplicative path.

5.2.2 Inner Step 2: Multiplicative Iteration, Repeated Multiplication Cost Remainder

After "×" is articulated, multiplicative iteration unfolds: $a \times 1, a \times 2, a \times 3, \ldots$ are articulated continuously. This forward-direction iteration corresponds in form to the accumulation $1+1, 1+1+1, \ldots$ within the additive path, but substantively differs — each multiplicative iteration articulates an integer multiple of $a$, not one addition to $a$.

But multiplicative iteration leaves a remainder. When articulating $a \times a \times a \times \cdots$ (repeated $k$ times), the articulation cost again rises — similar in form to the symbol-inflation remainder of Main Step 2, but substantively different. Here the remainder is not symbol inflation (symbols have already been articulated compactly via $N$-ary notation); rather, it is the articulation cost of repeated-multiplication expansion: as $k$ grows, the articulation length of $a \times a \times \ldots$ ($k$ times) grows linearly and becomes unsustainable.

As a finite existence, the subject, through Via Negativa, refuses this articulation-cost unsustainability and articulates a response tool at inner step 3.

5.2.3 Inner Step 3: Power-Notation Cross-multiplications Binding

So that repeated multiplication can be articulated compactly, the subject articulates the power notation $a^k$. Two already-articulated tokens ($a$ as unit and $k$ as the number of repetitions) compose via power notation to articulate $a \times a \times \cdots \times a$ ($k$ times). $a^3$ need not unfold to $a \times a \times a$, and $a^{100}$ need not unfold to 100 multiplications.

Power notation is cross-multiplications binding. It spans the accumulation of repeated multiplications, compressing the accumulated content into a binding of two tokens (base, exponent). Like $N$-ary binding, power-notation binding is the concrete instantiation of Via Rho at the site of binding — the binding operation produces inseparable two faces:

• One face is the processing capacity articulated by the binding (repeated multiplication can be articulated compactly via two tokens base + exponent; $a^{100}$ does not unfold into 100 multiplications).
• The other face is the remainder articulated by the binding (articulations spanning repeated multiplications are constrained by power-notation rules; one cannot articulate every individual repeated multiplication freely within the binding; new constraints arise on operations across base and exponent ($a^m \times a^n = a^{m+n}$, $(a^m)^n = a^{mn}$, etc.)).

Both faces are substantive content produced by the binding operation; the paper does not articulate a value judgment.

Power notation also articulates new operational relations: $(a^m) \times (a^n) = a^{m+n}$, $(a^m)^n = a^{mn}$, and so on. These relations are not axioms; they are natural consequences articulated by cross-multiplications binding. They also serve as the entrance to subsequent articulation of logarithmic operations; however, the concrete articulation of logarithmic operations is possible only after $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ has closed (because the codomain of logarithmic operations contains transcendentals, stepping outside the $L_1$ scope), and is not articulated in the present paper.

This corresponds in pattern of cross-something binding to $N$-ary cross-digit-position binding, but the concrete dimension of binding differs. Cross-digit-position binding makes additive accumulation compact; cross-multiplications binding makes multiplicative accumulation compact. Both bindings make articulation compact, but they act at different layers.

5.2.4 Inner Step 4: Nested-cascade Reverse Interrogation, $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ Closure

Main Step 3 attains closure through interrogation. Within the context of the multiplicative path, the concrete form of interrogation naturally takes the form of reverse interrogation; but unlike Main Step 2, the reverse interrogation here is not a single instance but a nested cascade: the first reverse interrogation produces a new articulated space; within that space, there remain unclosed remainders, and a further reverse interrogation produces a second-layer articulated space. The two-layer interrogation forms a nested-cascade structure.

First-layer reverse interrogation: can multiplication be reversed?

The answer is yes, articulating division. Division ($a \div b$) is articulated as the reverse direction of multiplication: if $a \times b = c$, then $c \div b = a$. Division and multiplication together form a forward-reverse direction binding.

After division is introduced, multiplication closes in the forward direction within $\mathbb{Z}$, but the reverse direction of division does not close within $\mathbb{Z}$ ($1 \div 3$ is not in $\mathbb{Z}$). To make the reverse direction of division close, fractions are articulated, expanding the articulated space from $\mathbb{Z}$ to $\mathbb{Q}$ (rational numbers). Within $\mathbb{Q}$, multiplication / division / forward / reverse all close, articulating the field structure of the rationals.

But after first-layer closure in $\mathbb{Q}$, second-layer problems are exposed: the reverse operation of power notation does not close within $\mathbb{Q}$.

Second-layer reverse interrogation: can power be reversed?

The answer is yes, articulating root extraction and polynomial root-finding. The solution of $x^2 = 2$ (namely $\sqrt{2}$) is a root of some polynomial over $\mathbb{Q}$, but $\sqrt{2}$ itself is not within $\mathbb{Q}$ (the Pythagorean discovery — $\sqrt{2}$ is irrational). To make the reverse operation of polynomial root-finding close, real algebraic numbers are articulated, expanding the articulated space from $\mathbb{Q}$ to $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ (the totality of real algebraic numbers).

On the refinement of articulation tools. The tool introduced by second-layer reverse interrogation is not limited to root extraction (radicals). The real roots of quintic and higher polynomials cannot in general be concretely constructed via four arithmetic operations together with radicals (Abel-Ruffini theorem), but they remain algebraically defined as real roots of integer-coefficient polynomials. Therefore the core scope of $L_1$ articulation tools is not "concretely constructed via radicals" but finite polynomial constraints over $\mathbb{Q}$ — any real root articulated by finite polynomial constraints over $\mathbb{Q}$ (whose concrete form may involve radicals or implicit polynomial relations) is within the scope of $L_1$. Radicals are a common instance of $L_1$ tools but not the only one.

$\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ as the real closed field. As a mathematical structure, $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ is a real closed field. Its substantive properties include:

• Closure under the four arithmetic operations (addition, subtraction, multiplication, division)
• Closure under square roots of positive reals (the square root of any positive real algebraic number remains a real algebraic number)
• Every odd-degree polynomial (with coefficients in $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$) has a real root
• All real roots of any real algebraic polynomial equation remain within $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$

But $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ is not an algebraically closed field. An algebraically closed field requires every non-constant polynomial to have a root, including non-real algebraic roots. For example, the roots of $x^2 + 1 = 0$, namely $i = \sqrt{-1}$, are roots of some polynomial in $\mathbb{Z}[x]$, but $i$ is not in $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ — it is a substrate-external remainder (see § 6 for details). The algebraic closure $\overline{\mathbb{Q}}$ (algebraic closure of the rationals) strictly contains $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ as a substructure and includes algebraic tokens beyond the real line (including $i = \sqrt{-1}$, $\sqrt{-2}$, primitive roots of unity, etc.). As an $\mathbb{R}$-vector space, $\overline{\mathbb{Q}}$ is isomorphic to $\mathbb{Q}^{\rm alg}_{\mathbb{R}} + i \cdot \mathbb{Q}^{\rm alg}_{\mathbb{R}}$, but as an algebraic structure, the algebraic relations within $\overline{\mathbb{Q}}$ cross between real and imaginary parts and cannot be cleanly split.

The correspondence between the substantive distinction (real closed field vs. algebraically closed field) and the boundary of the SAE $L_1$ articulation mode: Main Step 3 of the multiplicative path closes within the real closed field, because the articulation tools of the multiplicative path operate on a sub-substrate within the quantitative-dimension substrate ($\mathbb{R}$) and do not step outside the real line. The algebraically closed field contains roots stepping outside the real line ($i$, etc.) and lies beyond the closure scope of Main Step 3; these are substrate-external remainders, forcing the complexification articulation of the subsequent-layer main trajectory. This distinction is the key marker of the boundary of the $L_1$ articulation mode — $L_1$ closes within the real closed field; algebraic tokens that step outside the real closed field (including $i$, etc.) belong, from the SAE perspective, to the articulated content of subsequent layers, not within $L_1$.

Main Step 3 closes within $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ — multiplication / division / power / real algebraic polynomial root-finding all close within $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$. Construct $= \mathbb{Q}^{\rm alg}_{\mathbb{R}}$.

Closure leaves remainder. The remainder here is again a multi-type coexistent remainder ledger:

First, non-real algebraic root remainder ($i$-type, the roots of $x^2 + 1 = 0$): the reverse operation of polynomial root-finding does not close within the real line — some polynomials (e.g., $x^2 + 1$) have no root within $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$. This remainder cannot be resolved within the multiplicative path by introducing further sub-articulation (because the reverse direction has been exhausted within the real line); it is a cross-articulation-type remainder.

Second, transcendental remainder ($\pi, e$, etc.): transcendentals lie within the quantitative-dimension substrate $\mathbb{R}$, but they are not roots of any polynomial in $\mathbb{Z}[x]$ and are not within $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$. This remainder is also not captured by the $L_1$ articulation mode, but it differs in type from the $i$-type remainder — $\pi$ and $e$ lie within the quantitative-dimension substrate, while $i$ steps outside the quantitative-dimension substrate.

Third, uncomputable / undefinable remainder: most points within the real line cannot be computed by any finite algorithm or defined by any finite formula. They are not captured at all by the $L_1$ finite algebraic articulation mode.

The concrete classification of these three types of remainder, together with the cross-layer / lateral-branch forcing structure, is articulated in detail in § 6 (Main Step 4). Here we only articulate their existence as the remainder ledger produced by the closure of the multiplicative path.

5.3 Sub-fractal Depth Asymmetry of the Multiplicative Path and the Substantive Distinction between Real Closed Field and Algebraically Closed Field

The inner step 4 of Main Step 3 sub-articulation contains nested cascade (division → $\mathbb{Q}$; root extraction / polynomial root-finding → $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$). This nesting makes the sub-fractal of the multiplicative path slightly deeper at inner step 4 than that of Main Step 2 at the same position.

Main Step 2's inner step 4: a single reverse interrogation (addition → subtraction) + $\mathbb{Z}$ closure + multi-type remainder. Main Step 3's inner step 4: two-layer reverse interrogation (multiplication → division → $\mathbb{Q}$; power → root extraction / polynomial root-finding → $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$) + real closed field closure + multi-type remainder.

This sub-fractal depth asymmetry is not an articulation artifact but a substantive truth. It corresponds to a substantive mathematical fact: the maximal substantive content of algebraic articulation within the complete precisification path emerges within the multiplicative path. The articulation of algebraic closure, field extensions, polynomial root-finding theory, and so on, all unfold naturally within the multiplicative path. The multiplicative path carries more algebraic substantive content than the additive path, and its sub-articulation correspondingly unfolds at a deeper level.

Specifically, the distinction between the real closed field and the algebraically closed field is a sharp marker of this substantive truth. The real closed field $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ is the closure of Main Step 3 on the real-line sub-substrate — it contains all real roots articulated by finite polynomial constraints, but it does not contain algebraic tokens stepping outside the real line (including $i$, etc.). The algebraic closure $\overline{\mathbb{Q}}$ (algebraic closure of the rationals) strictly contains $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ as a substructure and includes algebraic tokens beyond the real line ($i, \sqrt{-2}$, primitive roots of unity, etc.); as an $\mathbb{R}$-vector space, $\overline{\mathbb{Q}}$ is isomorphic to $\mathbb{Q}^{\rm alg}_{\mathbb{R}} + i \cdot \mathbb{Q}^{\rm alg}_{\mathbb{R}}$, but as an algebraic structure, the algebraic relations within $\overline{\mathbb{Q}}$ cross between real and imaginary parts (consistent with § 5.2.4).

The substantive reason that Main Step 3 closes within $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ rather than $\overline{\mathbb{Q}}$: the articulation tools of Main Step 3 operate on the quantitative-dimension substrate ($\mathbb{R}$), and algebraic tokens stepping outside $\mathbb{R}$ (including $i$) are not within the scope of Main Step 3 articulation. As an algebraic remainder outside $\mathbb{R}$, $i$ forces the complexification articulation of the subsequent-layer main trajectory (articulating the $\mathbb{C}$-plane, introducing the imaginary axis as an orthogonal direction). The boundary of Main Step 3 closure is the substrate boundary, not the algebraic-token boundary.

The substantive significance of this distinction from the SAE perspective: the sub-fractal depth of the multiplicative path being deeper than that of the additive path is not merely a reflection of carrying more substantive mathematical content; it also articulates the substantive gap between the algebraic closure of the real-line sub-substrate ($\mathbb{Q}^{\rm alg}_{\mathbb{R}}$) and the full algebraic closure ($\overline{\mathbb{Q}}$). This gap is the substantive boundary between the $L_1$ articulation mode and the subsequent-layer articulation mode (complexification articulation), not a quantitative difference in articulation depth.

This is in pattern consistent with the $r \approx 5$ topological asymmetry articulated in Methodology 6: Phase-Transition Windows (DOI: 10.5281/zenodo.19464507) — the four steps are not even; the middle steps (Main Steps 2 and 3) open up the articulation space, while the final step (Main Step 4) closes it. The multiplicative path opens up further at the middle-step position, commensurate with the algebraic substantive content it carries (including the boundary of algebraic tokens stepping outside the real line).

Consistent with the binding-instantiation pattern of Main Step 2, multiple sub-articulation transitions within Main Step 3 are also concrete instances of subject Via Negativa carrying out the binding operation:

• The repeated-addition cost remainder forces the introduction of "×": Via Negativa refuses articulation-cost unsustainability and introduces (count, unit) binding.
• The repeated-multiplication cost remainder forces power notation: Via Negativa refuses articulation-cost unsustainability and introduces cross-multiplications binding.
• The first-layer reverse interrogation forces the articulation of $\mathbb{Q}$: Via Negativa refuses articulation stopping in a single forward direction and articulates the two faces of forward-reverse binding of multiplication / division.
• The second-layer reverse interrogation forces the articulation of $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$: Via Negativa refuses articulation stopping in a single forward direction and articulates the two faces of forward-reverse binding of power / root extraction.

Every transition here is not a logical necessity but the concrete form Via Negativa takes within the articulation context of the subject as a finite existence. The articulation operation produces inseparable two faces (processing capacity + remainder) of binding; the paper does not articulate a value judgment.

The substantive content of the multiplicative path — the compact articulation of repeated addition; (count, unit) binding; the emergence of commutativity; power-notation cross-multiplications binding; nested-cascade reverse interrogation; closure of $\mathbb{Q}$ and $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$; the distinction between real closed field and algebraically closed field — all emerge naturally within the $L_1$ finite algebraic articulation mode and do not depend on the choice of specific formalization. The classical mathematical construction layer and the SAE operational articulation layer each have valid articulations within the multiplicative path: classical mathematical construction articulates the internal construction of $\mathbb{Q}$ as a quotient field and $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ as a real closed field; SAE operational articulation articulates the process by which these tokens emerge naturally through subject Via Negativa as a binding operation. The two levels each stand on their own and do not conflict.

6. Main Step 4: Closure and Remainder Ledger

6.1 Main Step 4 and Inevitability 4

Main Step 4 articulates the closure of the $L_1$ articulation mode itself and the remainder ledger, corresponding to Inevitability 4 (cannot but be interrogated): after the articulation mode has been fully deployed, interrogation turns toward whether the articulation mode itself is complete, with closure producing both construct and remainder ledger.

Main Step 4 differs in structural character from Main Steps 1, 2, and 3. Main Step 1 articulates the cross-level threshold transition (from $L_0$ into $L_1$). Main Steps 2 and 3 articulate the within-layer fractal unfolding within $L_1$ (additive path and multiplicative path). Main Step 4 articulates the meta-level closure of the $L_1$ articulation mode as a whole — it no longer articulates new concrete articulation tools within $L_1$; rather, it interrogates the boundary, the construct, and the remainder of the $L_1$ articulation mode itself.

This structural difference makes the sub-articulation within Main Step 4 no longer follow the four-step fractal pattern of Main Steps 2 and 3. The sub-articulation of Main Step 4 is remainder ledger structure, not a four-step fractal cycle. § 8 further articulates this distinction in the synthesis of registration discipline. The present section organizes itself by the substantive content of Main Step 4's sub-articulation: § 6.2 articulates the saturation event and the asymmetric mutual causation of Via Rho; § 6.3 articulates the multiple types within the remainder ledger; § 6.4 articulates the forcing structure across layers / lateral branches.

6.2 Saturation Event and the Asymmetric Mutual Causation of Methodology 00

The starting point of Main Step 4's sub-articulation is the saturation event. Main Step 3, inner step 4 articulates closure in $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$; the closure event produces not only the construct ($\mathbb{Q}^{\rm alg}_{\mathbb{R}}$) but also the meta-level event of the $L_1$ articulation mode itself saturating. The saturation event is the entrance to Main Step 4 articulation.

The formal structure of the saturation event is articulated in Methodology 00: Via Rho (DOI: 10.5281/zenodo.19657440). § 4.5 of Methodology 00 gives the refined formula for asymmetric mutual causation:

$$\mathcal{N} \xrightarrow{\text{op}_i} (C_i, \rho_i) \xrightarrow{\rho_i \text{ drives}} \mathcal{N} \xrightarrow{\text{op}_{i+1}} (C_{i+1}, \rho_{i+1})$$

where $\mathcal{N}$ is Via Negativa (as a refusal operation carried out by the subject), $C_i$ is the construct produced by the $i$-th operation, and $\rho_i$ is the remainder left by that operation. The substantive content of the formula: construct and remainder are two faces of a single operation (inseparable in operation), but what drives subsequent operations is not the construct but the remainder. The construct is the product of the completed operation; the remainder is the mark of the unfinished portion of the operation and is the entrance to subsequent operation.

Main Step 4 concretizes this refined formula within $L_1$ of the quantitative dimension:

$$\mathcal{N} \xrightarrow{\text{op}_{L_1}} (\mathbb{Q}^{\rm alg}_{\mathbb{R}}, \rho_{L_1}) \xrightarrow{\rho_{L_1} \text{ drives}} \text{subsequent articulation mode}$$

where:

• $\text{op}_{L_1}$ is the concrete content of the $L_1$ articulation mode as a single operation (containing all of Main Steps 1 through 3 with their sub-articulations).
• $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ is the construct produced by the $L_1$ operation (the real closed field, the product of the closure of Main Step 3 inner step 4).
• $\rho_{L_1}$ is the remainder ledger produced by the $L_1$ operation (articulated in detail in § 6.3).
• The subsequent articulation mode emerges driven by $\rho_{L_1}$ (the forcing structure is articulated in § 6.4).

The concrete content of the asymmetric mutual causation relationship between construct and remainder within $L_1$: $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ (real closed field) is the product of the completed $L_1$ articulation mode — it articulates all the precise quantities the finite algebraic articulation mode can capture. But $\rho_{L_1}$ is the mark of the unfinished portion of the $L_1$ articulation mode — it articulates the content the $L_1$ mode does not capture. The two are inseparable: without the closure $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, the remainder cannot be established (the remainder is the mark of "what was not captured after closure"); without the remainder $\rho_{L_1}$, the closure is not a true closure either (under the SAE operational articulation viewpoint, every closure leaves remainder, and "closure without remainder" does not hold).

What drives subsequent operations is not $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$. The real closed field, as a completed construct, does not in itself drive subsequent articulation — it "is already there," as the product of the completed articulation mode. What drives subsequent articulation is $\rho_{L_1}$ — the remainder, as the mark of the unfinished, forces the subject to articulate a new articulation mode to capture a portion of the remainder. This forcing is the substantive driver of the emergence of subsequent layers (or lateral branches).

This asymmetric mutual causation relationship is also the core of the SAE remainder doctrine. Anchor B (remainder is ineliminable) is concretely instantiated in Main Step 4: after the $L_1$ articulation mode saturates, the remainder cannot be eliminated by further articulation within $L_1$ ($L_1$ has already exhausted what it can capture); the remainder can only be partially captured by introducing a new articulation mode, and the new articulation mode still leaves its own remainder. The substantive content of remainder as the driver of mathematical development is here concretized in Main Step 4.

6.3 Articulation of Multiple Types within the Remainder Ledger

6.3.1 Acknowledgment of the Retrospective Viewpoint

When Main Step 4's sub-articulation articulates the remainder ledger, it is necessary first to make explicit one epistemological character. The classificatory tools used in this remainder ledger (substrate-internal vs. substrate-external remainder; equation remainder vs. valuation-choice remainder; etc.) borrow articulation tools from subsequent layers to organize the $L_1$ remainder view. The internal articulation tools of $L_1$ itself do not distinguish these ontology types.

Concretely: within the $L_1$ finite algebraic articulation mode, $\pi$ (transcendental) and $i$ (non-real algebraic root) are similarly articulated as "exceeding the scope of finite algebraic articulation tools" — the $L_1$ tools do not distinguish their ontology types. That $\pi$ does not satisfy any polynomial in $\mathbb{Z}[x]$ is a property that requires the theory of transcendentals ($L_2$ Cauchy completion / topological articulation mode or further subsequent layers) to articulate. That $i$ is a root of some polynomial in $\mathbb{Z}[x]$ but does not lie in $\mathbb{R}$ is a property requiring the complexification articulation mode (the subsequent-layer main trajectory) to articulate. All these distinctions can be articulated only after $L_1$ saturates.

But after the saturation of $L_1$, looking back from a retrospective vantage allows articulation of the concrete structure of $L_1$ remainder. The emergence of subsequent articulation modes capturing a portion of the remainder enables the Main Step 4 articulator to look back at $L_1$ remainder and classify it by the content captured by various subsequent articulation modes. This retrospective-viewpoint articulation is legitimate, but it requires explicit acknowledgment that it is a retrospective viewpoint, not direct articulation internal to $L_1$.

This acknowledgment is the honest acknowledgment of SAE operational articulation. $L_1$'s own articulation tools have their boundary; articulation across that boundary requires borrowing tools from subsequent layers. Without acknowledging this retrospective viewpoint and treating the classification as direct articulation within $L_1$, articulation loses honesty. With this acknowledgment, articulation can still proceed, but each classification carries an epistemological marker.

6.3.2 The Substrate-internal Remainder Ledger

Substrate-internal remainder consists of objects within the quantitative-dimension substrate (the real line $\mathbb{R}$) that are not captured by the $L_1$ finite algebraic articulation tools. From the retrospective viewpoint, the substrate-internal remainder comprises three concrete types, forming a nested structure.

Transcendental remainder ($\pi, e, e^\pi, \ln 2, \ldots$): reals that do not satisfy any polynomial in $\mathbb{Z}[x]$. They lie within $\mathbb{R}$ but are not within $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$. A subsequent effective Cauchy articulation mode (see § 7.2) captures a portion of them (the computable transcendentals), leaving the uncomputable transcendentals as remainder.

Uncomputable remainder (Chaitin's $\Omega$ class, etc.): reals uniquely defined by some logical formula but not computable to arbitrary precision by any algorithm. They lie within $\mathbb{R}$ but are not within $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ (they are generally transcendental), and they are not captured by the effective Cauchy articulation mode (the limit points of Cauchy sequences are not computable to arbitrary precision). A subsequent formal / definability articulation mode captures a portion of them (the definable uncomputable reals), leaving the undefinable reals as remainder.

Undefinable remainder: reals not defined by any finite formula in a fixed formal language. In any countable formal language, almost all points on the real line are undefinable (a cardinality argument: the cardinality of the real line is $2^{\aleph_0}$, while the total number of formulas in any countable formal language is at most $\aleph_0$, so the undefinable reals constitute "almost all" of the reals). This remainder is captured by no countable-formal-language articulation tool.

The three classes of substrate-internal remainder form a nested structure. To improve readability, the following table explicitly articulates the correspondence between the nested structure and the capture range of each articulation mode:

Articulation mode	Capture range	Remainder left
$L_1$ finite algebraic articulation	$\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ (real algebraic numbers)	transcendentals ⊋ uncomputable reals ⊋ undefinable reals
Subsequent effective Cauchy articulation	computable reals (real algebraic numbers plus computable transcendentals, e.g., $\pi, e$)	uncomputable reals ⊋ undefinable reals
Subsequent formal-definability articulation	definable reals (computable reals plus definable uncomputable reals, e.g., Chaitin's $\Omega$)	undefinable reals (not captured by any countable-formal-language articulation mode; permanent remainder)

On the technical specification of undefinability. The precise meaning of "undefinable" requires explicit technical specification: undefinable refers to undefinability relative to a fixed countable formal language and disallowing arbitrary real-number parameters. If arbitrary real numbers are allowed as parameters, every real number can be "defined" by the formula $x = a$, trivializing the concept of definability. The undefinability articulated in this paper is parameter-free definability in the standard mathematical-logic sense — in any fixed countable formal language, almost all points on the real line are undefinable in this parameter-free sense.

The substantive content of this remainder as a permanent remainder deserves explicit articulation. SAE Anchor B (remainder is ineliminable) reaches its strongest instance at the undefinable remainder: undefinable reals are not just "not captured by some specific articulation mode" but "not captured by any countable-formal-language articulation mode" (in the parameter-free sense). This remainder is the extremity of the substrate-internal remainder, the permanently uncaptured content under the SAE operational articulation viewpoint.

6.3.3 The Substrate-external Remainder Ledger: Two-type Distinction

Substrate-external remainder does not lie within the quantitative-dimension substrate (the real line $\mathbb{R}$). It forces articulation to step outside the real-line substrate and into a new direction. The substrate-external remainder comprises two types of different ontology, each forcing a different direction.

To make the substantive distinction between the two types explicit, the following table articulates them:

Remainder	Type	Mode of stepping outside the substrate	Subsequent forcing direction
$i = \sqrt{-1}$	Equation remainder (in the ordered real-line substrate)	$x^2 + 1 = 0$ has no solution within the ordered real line; forces stepping outside the real line and introducing the imaginary axis	Main-trajectory complexification, forcing the articulation of $\mathbb{C}$ (subsequent main-trajectory candidate)
$p$-adic	Valuation-choice remainder (at the $\mathbb{Q}$ level)	The absolute value on $\mathbb{Q}$ is not unique; the Archimedean and $p$-adic absolute values each give different completions	Lateral branch, forcing the articulation of $\mathbb{Q}_p$ (a non-Archimedean completion parallel to the main trajectory)

The substantive distinction between the two types is worth unfolding.

Type α: Equation remainder in the ordered real-line substrate. The $i = \sqrt{-1}$ class. The equation $x^2 + 1 = 0$ has no solution within the ordered real-line substrate (because the square of any real number is non-negative). This remainder cannot be resolved within the real line by introducing further sub-articulation — the reverse direction (root extraction) has already been introduced in Main Step 3, but $\sqrt{-1}$ steps outside the real line; it is not within $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, nor within $\mathbb{R}$.

The substantive content of Type α remainder: it articulates the complexification extension direction of the main trajectory — the real line needs to be extended to the complex plane $\mathbb{C} = \mathbb{R} + i \mathbb{R}$, allowing $i$ to be articulated as a new orthogonal direction. This extension is not internal refinement within the real line; rather, it steps outside the real line and enters a new ontology — introducing the imaginary axis as an orthogonal direction. This extension forces the emergence of the subsequent-layer main-trajectory complexification articulation mode.

Type α remainder is the core force driving the complexification of the subsequent-layer main trajectory from $L_1$. It is consistent with the concrete realization of Inevitability 4 (cannot but be interrogated) at Main Step 4 — when interrogating "whether the $L_1$ articulation mode itself is complete," the subject articulates the concrete token $i$, articulating the incompleteness of the real line, and forces stepping outside the real line.

Type β: Valuation-choice remainder at the $\mathbb{Q}$ level. The $p$-adic class. This type of remainder is not an equational non-closure within the real line but a multiplicity of completions of $\mathbb{Q}$ under different absolute-value choices. Concretely: on $\mathbb{Q}$, the usual Archimedean absolute value $|\cdot|_\infty$ gives the Cauchy completion articulating the $\mathbb{R}$ direction. But $\mathbb{Q}$ admits other absolute values — for each prime $p$, there exists the $p$-adic absolute value $|\cdot|_p$, which gives another completion of $\mathbb{Q}$, articulating $\mathbb{Q}_p$ ($p$-adic numbers). Ostrowski's theorem articulates that the (non-trivial) absolute values on $\mathbb{Q}$ are of the Archimedean and $p$-adic (for various primes $p$) types only. Each $p$-adic completion and the Archimedean completion are legitimate completions of $\mathbb{Q}$, but along different completion paths.

The substantive content of Type β remainder: it is not a subsequent-layer main-trajectory extension from $L_1$ but a lateral branch within the complete precisification path of the quantitative dimension. Within the complete precisification path, the main trajectory proceeds along the Archimedean absolute value through Cauchy completion to articulate the real line ($\mathbb{R}$ direction); the lateral branch proceeds along $p$-adic absolute values through completion to articulate non-Archimedean structures such as $\mathbb{Q}_p$. The lateral branch is parallel to the main trajectory, not a subsequent layer.

The concrete articulation of Type β remainder ($p$-adic number theoretic structures, $p$-adic analysis, etc.) is left to subsequent non-Archimedean specialized papers. The present paper only articulates the existence of Type β remainder and its relationship to the main trajectory: the main trajectory articulates the Archimedean direction (subsequent articulation modes including complexification and effective Cauchy articulation); the lateral branch articulates the non-Archimedean direction (a transverse paper running parallel to the main trajectory).

On the substantive character of valuation-choice remainder as an open question: $p$-adic remainder as a valuation-choice remainder — whether the choice of valuation is a question at the articulation level (the subject chooses which valuation to use as an articulation tool) or at the substrate level ($\mathbb{Q}$ itself carries multiple valuations as a substrate property) — is an open question. It is listed in § 10.1 open questions, with detailed articulation left to non-Archimedean lateral-branch specialized papers.

The two types of substrate-external remainder each force different articulation extensions. Type α (equation remainder $i$) forces subsequent-layer main-trajectory complexification; Type β (valuation-choice remainder $p$-adic) forces lateral-branch articulation. The substantive distinction between the two types cannot be directly articulated by the internal articulation tools of $L_1$ (cf. § 6.3.1 acknowledgment of the retrospective viewpoint); it can be articulated clearly only from the retrospective viewpoint of the emergence of subsequent articulation modes.

6.4 The Forcing Structure across Layers and Lateral Branches

The end of Main Step 4's sub-articulation articulates the concrete structure by which remainder forces the emergence of subsequent articulation modes. Each remainder forces a different articulation mode, but the mapping (which remainder → which articulation mode → which layer or lateral branch) is not pre-specified and is to be articulated by subsequent SAE-mathematics-series papers.

According to the remainder ledger classification of § 6.3, the candidate mappings of the forcing structure are as follows.

Type α (equation remainder $i$) → subsequent-layer main-trajectory complexification articulation mode. As an equation remainder, $i$ forces the complexification extension stepping outside the real line. The complexification articulation mode captures $i$ as a new articulation tool, articulating the $\mathbb{C}$-plane and, in turn, articulating the holomorphic structure (analytic functions / residues / periods / monodromy, etc.). This forcing is the core of the main trajectory from $L_1$ to $L_2$. Main-trajectory complexification as the $L_2$ articulation mode is consistent with the articulation of $L_2$ already stable in Paper 1 and the SAE Mathematics Foundational Paper ($L_2$ = complexification / holomorphic defect ledger, containing $i, \hat\infty$, residues / periods / monodromy / Stokes, etc.).

Substrate-internal computable-transcendental remainder → effective Cauchy articulation mode. The computable portion of transcendentals ($\pi, e, \ln 2$, etc., computable to arbitrary precision by finite algorithms) forces the emergence of the effective Cauchy articulation mode. Note that the effective Cauchy articulation mode is distinguished from the classical Cauchy completion mode (see § 7.2 for details). The effective Cauchy articulation mode captures computable reals (including computable transcendentals) but still leaves uncomputable reals as remainder. The effective Cauchy articulation is a post-$L_1$ analytic-completion branch (a post-$L_1$ articulation candidate); whether it functions as a sub-articulation within the $L_2$ main trajectory, as an $L_{1 \to 2}$ bridge, or as a side-branch parallel to the complexification main trajectory, is not pre-specified by the present paper and is left to subsequent layer papers.

Substrate-internal definable-uncomputable remainder → formal / definability articulation mode. The definable-but-uncomputable reals (Chaitin's $\Omega$ class) are not captured by the effective Cauchy articulation mode but may be captured by the formal logic / definability articulation mode — they are uniquely defined by a logical formula even when not computable to arbitrary precision. This articulation mode captures the definable uncomputable reals but still leaves the undefinable reals as remainder. The formal-definability articulation mode is a post-$L_1$ articulation candidate; its concrete layer attribution is not pre-specified.

Substrate-internal undefinable remainder → not captured by any countable-formal-language articulation mode. This remainder is permanent and forces an overall reflection on the articulation perspective — it articulates the fundamental limit of SAE operational articulation. The existence of this remainder is the strongest instance of Anchor B (remainder is ineliminable) within the quantitative dimension.

Type β (valuation-choice remainder $p$-adic) → lateral-branch non-Archimedean articulation mode. The $p$-adic remainder forces lateral-branch articulation; it does not enter the subsequent layers of the main trajectory. The lateral branch develops in parallel with the main trajectory, each with its own layer structure ($L_1^{\text{non-Arch}}, L_2^{\text{non-Arch}}, \ldots$). The concrete articulation of the lateral branch is left to subsequent non-Archimedean specialized papers and exists in parallel with the main trajectory within the SAE mathematics series.

Overall, the $L_1$ remainder ledger forces multiple subsequent articulation modes to emerge through multiple forcings. The subsequent main-trajectory articulation modes ($L_2$ complexification + subsequent layers) capture a portion of the remainder, leaving other remainders to continue forcing subsequent layers or to remain permanently. The effective Cauchy / formal-definability articulation modes, as post-$L_1$ articulation candidates, are each to be articulated in subsequent layer papers as to which layer or bridge they enter. Lateral-branch articulation modes capture another portion of the remainder, developing along a different path. The SAE mathematics series progressively articulates within a network of layer tower + lateral branches, without pre-specifying a fixed trajectory.

This forcing structure is consistent with the concrete realization of Paper 2's multiple-$L_1$-trajectory framework at Main Step 4 — the multiple trajectories emerge not only across $L_0$ dimensions (quantitative dimension / truth-value dimension / geometric dimension, etc.) but also from the splitting that occurs when $L_1$ remainder forces subsequent articulation modes (main-trajectory complexification / effective Cauchy articulation / formal-definability / non-Archimedean lateral branch). The network structure of SAE mathematics is consistent with this splitting structure.

Main Step 4 closes within $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, with the remainder ledger forcing subsequent articulation modes to emerge. The articulation of the $L_1$ articulation mode itself is here complete. § 7 of the paper further articulates the substantive content of the real-line substrate (the distinction between classical $\mathbb{R}$ and the SAE operational articulation substrate, including the distinction between classical and effective Cauchy completion). § 8 synthesizes the fractal registration discipline (the three classes — cross-level threshold, within-layer fractal, remainder ledger structure — each with its own registration standards). § 9 articulates cross-paper relationships. § 10 articulates open questions.

7. The Quantitative Dimension Substrate

7.1 The Distinction Between Classical $\mathbb{R}$ and the SAE Operational Articulation Substrate

§ 2 of this paper has already established the firewall between the classical mathematical construction level and the SAE operational articulation level. § 7, after the articulation of Main Steps 1 through 4, restates the substantive significance of this distinction at the level of concrete articulated content.

The classical mathematical construction level constructs $\mathbb{R}$ as a completed object (via ZFC together with Dedekind cuts or Cauchy sequence equivalence classes, etc., as internal constructions). This internal construction is valid within the classical layer; its substantive content is $\mathbb{R}$ as a set containing all (real) numbers satisfying the order axioms and the continuity axiom. From the classical mathematical construction viewpoint, $\mathbb{R}$ is an already-completed object on which mathematicians operate.

The SAE operational articulation level treats $\mathbb{R}$ as an emergent substrate across multiple layers, not pre-existing before articulation. The concrete articulations within Main Steps 1 through 4 all unfold at the SAE operational articulation level: "1" emerges through cross-level threshold sub-articulation; the additive path articulates within $L_1$ through within-layer fractal; the multiplicative path closes on $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$; Main Step 4 articulates the remainder ledger driving subsequent articulation modes. These articulations are not the progressive revelation of a pre-existing $\mathbb{R}$ but the natural emergence within the subject's articulation process under the SAE perspective.

The two levels each stand on their own (cf. § 2.2 firewall statement). Classical mathematical construction is concerned with the internal construction properties of $\mathbb{R}$ (the substantive content of the completed object); SAE operational articulation is concerned with the process character by which articulation modes capture the substrate (the remainder and forcing structure of each articulation mode). The two perspectives each articulate substantive content at different levels.

7.2 Different Articulation Modes Capture Different Strata: The Distinction Between Classical and Effective Cauchy

As an emergent substrate of the quantitative dimension, the real line has different articulation modes that capture different strata. This stratification is not a pre-existing stratification but is naturally articulated by the boundaries of each articulation mode.

To be specific, the phrase "Cauchy completion" carries different substantive content under different readings. To avoid conflation, the paper explicitly distinguishes two different articulation modes:

Classical Cauchy completion: within ZFC set theory, Cauchy completion as an internal construction tool for $\mathbb{R}$ captures $\mathbb{R}$ as a completed set, containing all (real) numbers (including transcendentals, uncomputable reals, and undefinable reals). This articulation mode is valid at the classical mathematical construction level and is a substantive achievement of nineteenth-century arithmetization of analysis. The substantive content articulated by the classical Cauchy completion: from Cauchy sequences over $\mathbb{Q}$, equivalence classes are formed to construct the completed set containing all $\mathbb{R}$ tokens, well-defined within the ZFC framework.

Effective Cauchy articulation: under the SAE operational articulation viewpoint, the effective Cauchy articulation mode captures the computable reals — that is, reals computable to arbitrary precision by finite algorithms, including the real algebraic numbers ($\mathbb{Q}^{\rm alg}_{\mathbb{R}}$) plus computable transcendentals ($\pi, e, \ln 2$, etc.). This articulation mode does not capture uncomputable reals (because the limit points of Cauchy sequences are not computable to arbitrary precision).

The substantive significance of the distinction: at the classical mathematical construction level, classical Cauchy completion captures the full $\mathbb{R}$ (including uncomputable / undefinable reals) because the classical construction depends on the ZF / ZFC completed-set ontology, including resources such as power set, separation, and quotient construction, which can construct $\mathbb{R}$ as a completed object (note: the classical construction of the real-number set itself does not have the axiom of choice as its core, even though some subsequent analytic theorems and selective objects do use choice; the constructions via Dedekind cuts and Cauchy sequence equivalence classes can be completed within the usual ZF framework). At the SAE operational articulation level, effective Cauchy articulation captures only the computable reals because the SAE perspective is concerned with the articulation operations of the subject as a finite existence — the articulation tools are finite rule schemas the subject can execute to capture some stratum and do not assume non-constructive resources of cross-subject computability.

When Paper 1 articulates "the real line through Cauchy completion" as part of $L_1$ under a classical mathematical construction reading, it implicitly refers to classical Cauchy completion, which is valid at the classical layer. But at the SAE operational articulation level, classical Cauchy completion is not within $L_1$ (it captures the full $\mathbb{R}$ including uncomputable reals, stepping outside the boundary of the $L_1$ articulation mode), and effective Cauchy articulation is a post-$L_1$ analytic-completion branch (a post-$L_1$ articulation candidate; whether it functions as a sub-articulation within the $L_2$ main trajectory, as an $L_{1 \to 2}$ bridge, or as a side-branch parallel to the complexification main trajectory, is not pre-specified by the present paper and is left to subsequent layer papers). This distinction is the core of § 9.1's articulation of the relationship between the paper and Paper 1 as substantive rescoping.

The strata of the real line captured by various articulation modes form a nested relation:

• $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ (real algebraic numbers) ⊂ computable reals ⊂ definable reals ⊂ $\mathbb{R}$
• $L_1$ finite algebraic articulation captures $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$
• Effective Cauchy articulation captures the computable reals (a post-$L_1$ articulation candidate)
• Formal-definability articulation captures the definable reals (a post-$L_1$ articulation candidate; concrete layer attribution not pre-specified, left to subsequent layer papers)
• Classical Cauchy completion (at the classical layer) captures the full $\mathbb{R}$

The SAE operational articulation perspective does not view this nesting as "internal stratification of $\mathbb{R}$" but as the dynamics by which "each articulation mode captures different portions and leaves different remainders." The boundary of each articulation mode naturally articulates strata; strata are not a pre-existing internal structure.

7.3 Subject Via Negativa within the Substrate-Articulation Process

Subject Via Negativa drives remainder capture at the introduction of every articulation mode. As a finite existence, the subject does not accept the finality of "the $L_1$ articulation mode captures the entire substrate." Through Via Negativa, it refuses this finality and forces a new articulation mode to emerge, capturing a portion of the remainder. This process repeats at every subsequent layer or lateral branch, with the substrate emerging progressively through cumulative articulation.

But the permanent remainder (undefinable reals) marks the fundamental limit of SAE operational articulation. At the permanent remainder, subject Via Negativa cannot force any countable-formal-language articulation mode to capture it — not because the subject's capacity is insufficient, but because the cardinality argument articulates that the remainder is intrinsically not capturable by any countable formal language. This remainder makes the SAE perspective acknowledge that the substrate is never completely captured by any specific articulation mode, and that the articulation process is open and without terminus.

This openness is the core of SAE operational articulation. It contrasts with the classical mathematical construction view of $\mathbb{R}$ as a completed object, but both views are valid in their own right: classical mathematical construction gives the internal construction of $\mathbb{R}$ (one of the most elegant achievements in the history of mathematics; cf. § 2.3); SAE operational articulation gives the process by which articulation modes capture the substrate (the focus of the present paper). The two views are concerned with different questions; their substantive contents do not conflict.

This openness is also the strongest instance of SAE Anchor B (remainder is ineliminable) at the level of the quantitative-dimension substrate. Not only does the $L_1$ articulation mode leave remainder after saturation, but any subsequent specific articulation mode also leaves remainder after saturation; the substrate is never completely captured. The cumulative leaving of remainder is, under the SAE perspective, the substantive driver of mathematical development — remainder, as the mark of the unfinished, drives the emergence of subsequent articulation modes; cumulative articulation lets the substrate emerge progressively, but cumulation never terminates. The articulation process is open and without terminus, consistent with the substrate never being completely captured.

8. Synthesis of Fractal Registration Discipline

8.1 Three Classes of Registration Standards

The sub-articulation in the present paper comprises three classes of articulation of different character, each carrying its own registration standards. The synthesis follows.

Class I, cross-level threshold. The process of introducing "1" within Main Step 1 belongs to this class. The articulation is sub-articulation of the $L_0$-to-$L_1$ transition, located at the boundary between two layers. Its sub-articulation pattern follows in structural form the four-step fractal (sub-step 1 mark / sub-step 2 direction / sub-step 3 binding / sub-step 4 closure + remainder), but the substantive content is cross-level transition, not a within-layer fractal cycle.

Class II, within-layer fractal. The sub-articulations within Main Steps 2 and 3 belong to this class. The articulation is a within-layer fractal cycle of the unfolding process within $L_1$. Each inner step is within $L_1$ and does not cross layers.

Class III, remainder ledger structure. The sub-articulation within Main Step 4 belongs to this class. The articulation is the meta-level closure of the $L_1$ articulation mode as a whole + remainder ledger organization + forcing structure. It does not follow the four-step fractal pattern; rather, it is organized by saturation event / remainder ledger / forcing structure.

The three classes carry different registration standards and cannot be measured by the same yardstick. Without distinguishing the three classes and forcing them all to be measured by the within-layer fractal standard, cross-level threshold or remainder ledger sub-articulation would appear marginal or substandard, when in fact they are different types of articulation, not on the same dimension as the within-layer fractal registration standard. The paper articulates: sub-articulation is diagnostic, not mandatory. If a given main step exhibits only weak or marginal self-similarity, one should plainly say "this is not a complete sub-fractal, only a structural echo" rather than forcing a four-step fit.

8.2 Class II Within-layer Fractal Registration Standard (Methodology 10 § 7.6 Five Criteria)

Methodology 10 § 7.6 gives five registration criteria for within-layer fractal sub-articulation:

First, the four steps must be clearly identifiable (mark / additive direction / multiplicative binding / closure + remainder).

Second, inner steps 2 and 3 must not be merely strong-or-weak versions of the same process; inner step 3 must introduce a non-local binding.

Third, inner step 4 must produce both construct and remainder, with the remainder able to drive the next round of articulation.

Fourth, one must explain why the object is not three-step, five-step, or an ordinary chisel-construct cycle.

Fifth, mere analogical similarity must not be registered as a strong instance.

The sub-articulations within Main Steps 2 (additive path) and 3 (multiplicative path) each meet the five criteria.

Verification for Main Step 2: mark = "+" (inner step 1); direction = accumulation (inner step 2); memory binding = $N$-ary positional binding (inner step 3, cross-positional binding making accumulation compact); closure = $\mathbb{Z}$ closure, remainder = non-closure remainder of division + unbounded accumulation remainder (inner step 4). All five criteria are satisfied.

Verification for Main Step 3: mark = "×" (inner step 1); direction = multiplicative iteration (inner step 2); memory binding = power-notation cross-multiplications binding (inner step 3, binding across repeated multiplications making iteration compact); closure = $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ closure (inner step 4 contains nested cascade: division → $\mathbb{Q}$; root extraction / polynomial root-finding → $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$); remainder = non-real algebraic root remainder + transcendental remainder + uncomputable / undefinable remainder. All five criteria are satisfied. Inner step 4 contains a nested cascade that makes the sub-fractal depth slightly greater, but the pattern form is preserved and registration is not violated.

8.3 Class I Cross-level Threshold Registration Standard

The registration standard for Class I cross-level threshold sub-articulation differs from that for Class II within-layer fractal. The main differences are:

First, cross-level threshold sub-articulation articulates the cross-layer transition; the concrete content of inner steps spans two layers (inner steps 1 and 2 are near the $L_0$-$L_1$ boundary; inner step 4 is already at the entry to $L_1$). The mark in cross-level threshold sub-step 1 introduces a new direction at the conceptual level (not the token level); the token is fixed only at the closure of inner step 4. In Class II within-layer fractal, sub-step 1 mark directly introduces a sub-token, and subsequent steps unfold on top of the sub-token. The two classes of mark differ substantively in their level (one at the conceptual level, the other at the token level).

Second, inner steps 2 and 3 are not required to be different processes within a single layer; they are different phases of the transition process (inner step 2 articulates the cross-subject propagation of the concept; inner step 3 articulates the public binding of symbols — they are different phases of the transition, not different sub-articulations within a single layer).

Third, the construct produced at the closure step is the fixed token entering $L_1$, and the remainder forces the first main step within $L_1$ (Main Step 2). Unlike the Class II within-layer fractal where closure-remainder forces the next articulation within the same layer, cross-level threshold closure-remainder forces the first articulation unfolding within $L_1$.

The sub-articulation within Main Step 1 (concept of precise quantity → cross-subject propagation → public symbol binding → "1" fixed + remainder) satisfies this registration standard: it articulates the genuine transition process, without stretching into the within-layer fractal pattern. Each inner step belongs to a different phase of the transition, consistent with the cross-level character. Main Step 1, inner step 1 ("at this phase, precise quantity is conceptual, with no token-level realization," cf. § 3.2.1) and Class II inner step 1 ("'+' directly introduces a new sub-token," cf. § 4.2.1) substantively differ, giving the difference in registration standards a concrete anchor.

Class I cross-level threshold sub-articulation shares the four-step formal structure with Class II within-layer fractal, but its substantive content differs. The shared form makes the two classes structurally identifiable, but their substantive contents and characters differ, and so do their registration standards.

8.4 Class III Remainder Ledger Structure Registration Standard

The registration standard for Class III remainder ledger structure sub-articulation differs from those of the previous two classes. The main differences are:

First, it does not follow the four-step fractal cycle. The internal organization does not proceed in the four steps mark / direction / memory / closure.

Second, the sub-articulation is organized in three phases: saturation event, remainder ledger organization, and forcing structure. The structural relations among the phases are driven by the asymmetric mutual causation formula of Via Rho.

Third, the substantive content of each phase is driven by the Via Rho formula ($\mathcal{N} \to (C_i, \rho_i) \to \mathcal{N} \to \ldots$), not by the four steps of a fractal.

The sub-articulation within Main Step 4 (saturation event / remainder ledger multi-types / forcing structure) satisfies this registration standard: the articulated content is consistent with the meta-level closure character of Main Step 4 and does not stretch into the four-step fractal pattern. Each of the three phases has substantive content: the saturation event articulates the boundary of the $L_1$ articulation mode as a whole; the remainder ledger articulates the concrete organization of the multi-type remainder; the forcing structure articulates how the remainder drives subsequent articulation modes to emerge.

Forcing the Main Step 4 sub-articulation into the four-step fractal pattern is possible (for example, treating the saturation event as mark, substrate-internal remainder as direction, substrate-external remainder as binding, and the forcing structure as closure + remainder), but this stretch would be nominal rather than substantive — it would compress meta-level articulation into the within-layer form, losing the meta-level substance. The paper does not perform this stretch; rather, it acknowledges that the Main Step 4 sub-articulation is articulation of a different type, measured by appropriate registration standards.

8.5 Weak Self-similarity Articulation

In agreement with Methodology 10 § 6.4, the fractal sub-articulation in this paper is weak self-similarity, not strong self-similarity. The structural form is conserved across scales; the concrete content varies with scale.

Concretely: inner step 3 of Main Steps 1, 2, and 3 all articulate cross-something binding to make articulation compact, but the concrete binding form differs — Main Step 1 sub-step 3 is public symbol binding (cross-subject); Main Step 2 sub-step 3 is $N$-ary positional binding (cross-positional); Main Step 3 sub-step 3 is power-notation cross-multiplications binding. The pattern form is conserved (all are cross-something binding), while the dimensions and concrete contents of binding vary with the articulation context.

Inner step 4 of Main Steps 1, 2, and 3 all articulates closure + remainder, with the remainder driving the next articulation. The pattern form is conserved; the concrete content of closure (fixed token "1" / $\mathbb{Z}$ / $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$) and of remainder ("more than 1 by 1" / non-closure of division + unbounded accumulation / non-real algebraic root + transcendental + etc.) varies with the articulation context.

Main Step 4 sub-articulation does not follow the four-step pattern, yet it shares with Main Steps 1, 2, and 3 sub-articulation a substantive character — all articulate operation-produced construct + remainder + subsequent forcing. This sharing is a concrete instantiation of the asymmetric mutual causation formula of Via Rho, realized under different structural forms (four-step fractal vs. remainder ledger structure).

This weak self-similarity allows the paper's articulation to preserve internal SAE structural consistency (Via Rho realized at each scale) while acknowledging that structural form need not be strictly conserved across scales. Strong self-similarity would require structural form to be exactly the same across scales, but the phenomenon that substantive content must vary with scale (for example, Main Step 4 sub-articulation as meta-level articulation differing from Main Steps 1–3) would be excluded by strong self-similarity. Weak self-similarity accommodates this substantive difference, consistent with the substantive content of SAE operational articulation.

Re-emphasis on diagnostic status. Consistent with § 8.1, the paper maintains the sub-articulation's diagnostic status, not mandatory. If a given main step exhibits only weak or marginal self-similarity, one should plainly say "this is not a complete sub-fractal, only a structural echo" rather than forcing a four-step fit. The registration standards of Main Step 1 (Class I cross-level threshold) and Main Step 4 (Class III remainder ledger structure) sub-articulations differ from those of Main Steps 2 and 3 (Class II within-layer fractal); this distinction makes the sub-articulation substantively rather than mechanically registered. To stretch any sub-articulation into the four-step fractal pattern of Class II is nominal rather than substantive — it forces different types of articulation into the same form, losing the substance of each type. Together, weak self-similarity and diagnostic admission preserve the substantive integrity of fractal articulation.

9. Cross-Paper Relationships

9.1 Relationship to Paper 1: Substantive Rescoping, Not Withdrawal

Paper 1 articulates that $L_1$ contains "number, arithmetic, and $\mathbb{R}$ through Cauchy completion" as an initial sketch shared by the classical mathematical construction level and the SAE operational articulation level. The present paper articulates that, at the SAE operational articulation level, the $L_1$ articulation mode itself saturates in $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$.

Relative to Paper 1, the present paper performs a substantive rescoping rather than a withdrawal. This distinction deserves explicit articulation for the sake of transparency. Paper 1, at the level of architectural sketch, lists number, arithmetic, and the classical completion of $\mathbb{R}$ together as the main trajectory of $L_1$. The present paper preserves the classical reading of this sketch (Paper 1's articulation is valid at the classical mathematical construction level), but, at the SAE operational articulation level, refines the $L_1$ mode to finite algebraic articulation and reads $\mathbb{R}$ as a substrate across multiple layers. Strictly under the SAE operational articulation viewpoint, Cauchy completion is a subsequent articulation mode (effective Cauchy articulation captures the computable reals as a post-$L_1$ articulation candidate; whether it functions as a sub-articulation within the $L_2$ main trajectory, as an $L_{1 \to 2}$ bridge, or as a side-branch parallel to the complexification main trajectory, is not pre-specified by the present paper. Classical Cauchy completion constructs the complete $\mathbb{R}$ within ZFC, valid at the classical layer but, at the SAE operational articulation level, content that crosses $L_1$). Therefore the present paper indeed performs a substantive rescoping of Paper 1's $L_1$ reading at the SAE operational articulation level.

The two-level articulations each stand on their own and do not conflict (cf. the firewall in § 2):

• At the classical mathematical construction level, Paper 1's articulation that "$\mathbb{R}$ is obtained through Cauchy completion" remains valid because classical Cauchy completion is valid within ZFC (a substantive achievement of nineteenth-century arithmetization of analysis).
• At the SAE operational articulation level, the present paper articulates that the $L_1$ articulation mode itself saturates in $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, classical Cauchy completion crosses the boundary of the $L_1$ articulation mode, and effective Cauchy articulation is a subsequent-layer articulation mode.

Paper 1's published content is genuinely maintained at the classical layer. The present paper's articulation is substantive rescoping at the SAE operational articulation level, not a withdrawal of Paper 1's classical-layer articulation. This relationship is the same kind of relationship that Paper 2 established when renaming the Paper 1 mode as the objectivity precisification mode — Paper 1's content is maintained, while subsequent papers perform substantive sharpening at different levels or viewpoints.

Correspondences at the concrete-content level:

• The "number, arithmetic" part of Paper 1's articulation of $L_1$ corresponds to the concrete sub-articulations of Main Steps 1 through 3 (mark without constructing → additive path → multiplicative path) in this paper.
• The "$\mathbb{R}$ through Cauchy completion" part of Paper 1's articulation of $L_1$ is valid at the classical mathematical construction level (classical Cauchy completion is valid within ZFC); at the SAE operational articulation level, it belongs to a subsequent-layer articulation mode (effective Cauchy articulation, as a subsequent articulation mode, captures the computable-transcendental remainder within the substrate).
• The articulation of $L_2$ through $L_5$ in Paper 1 is not articulated in this paper and is left to subsequent SAE-mathematics-series papers.

The substantive contribution of this paper is not the revision of Paper 1, but the refinement of Paper 1's initial sketch concerning $L_1$ to the level of sub-articulation, with explicit articulation of the relationship that the classical mathematical construction layer and the SAE operational articulation layer each stand on their own, while at the SAE operational articulation level performing substantive rescoping.

9.2 Relationship to Paper 2

Paper 2 articulates the $L_0$ multi-dimensional multi-path framework, repositioning the Paper 1 mode as the objectivity precisification mode, articulating the coexistence of multiple $L_1$ trajectories. The present paper is the substantively detailed articulation of one $L_1$ trajectory (quantitative dimension × complete precisification path) within Paper 2's framework.

The present paper's articulation proceeds within Paper 2's framework without modifying it. Main Steps 1 through 4 all follow the four-step sketch articulated in Paper 2 § 5.2 for the complete precisification path of the quantitative dimension, refining at the level of sub-articulation.

The articulation in this paper that "the four SAE mathematical inevitabilities are SAE-internal substantive identifications of the chisel-construct cycle four-fold pattern within mathematical articulation" (§ 1.2) refines, at the cross-paper level, the substantive coherence between Paper 2 § 3 and Methodology 10 § 1.1. This refinement is a concrete realization of the joint articulation of cross-paper substantive coherence by Paper 2 + Methodology 10.

The cross-dimensional comparison articulated (§ 3.3 articulates that mark handles also articulate in other dimensions but with different concrete forms, including the truth-value / geometric / aesthetic dimensions) also realizes the concrete content of Paper 2's multiple-$L_1$-trajectory framework at the level of sub-articulation. Paper 2's framework articulates the existence of multiple trajectories; the present paper articulates the substantive content of the sub-articulations of Main Step 1 sharing pattern across different trajectories while their instantiated concrete contents differ.

9.3 Relationship to Methodology 10

Methodology 10: The Four-fold Pattern articulates the chisel-construct cycle four-fold pattern as a universal structural figure. The present paper articulates the concrete unfolding of this universal figure within the quantitative dimension × complete precisification path.

The main steps of the paper correspond to the four steps of Methodology 10 § 1.1 (cf. the derivation in § 1.2). Each sub-fractal articulation is verified against the five registration criteria of Methodology 10 § 7.6 (Class II within-layer fractal), or articulated against the registration standards of the corresponding class (Class I cross-level threshold; Class III remainder ledger structure). The weak self-similarity of fractals is consistent with Methodology 10 § 6.4.

The relationship between the present paper and Methodology 10 is the universal-to-specific correspondence: Methodology 10 articulates the chisel-construct cycle four-fold pattern universally; the present paper concretely instantiates it in the quantitative dimension. This correspondence substantively realizes Methodology 10 within the quantitative dimension, no longer as abstract universal articulation.

The articulation in this paper also forms a concrete case study of the application of Methodology 10's registration discipline (§ 7.6, five criteria) in practice. Class I cross-level threshold and Class III remainder ledger structure sub-articulations differ from Class II within-layer fractal; their registration standards lie on a different dimension from Methodology 10's five criteria. The substantive content of this distinction is worth articulating further in subsequent updates of SAE methodology (listed as an open question in § 10).

9.4 Relationship to Methodology 00: Refinement of the Scope of Via Rho

Methodology 00: Via Rho articulates Via Rho as the mathematical dual of Via Negativa. Methodology 00 § 3.4 articulates ZFCρ as the mathematical instantiation of Via Rho at the level of set-theoretic vocabulary carrier.

The present paper sharpens the scope of the mathematical carrier of Methodology 00 Via Rho: from ZFCρ-specific level to the SAE mathematics series scope. The SAE mathematics series as a whole (Paper 1 + Paper 2 + Paper 3 + subsequent layer papers) articulates Via Rho's concrete instantiation in different articulation modes:

• Paper 1: Via Rho's instantiation at the level of architectural layers. Each layer closes producing remainder that drives the next layer.
• Paper 2: Via Rho's instantiation within the $L_0$ multi-dimensional multi-path framework. Each dimension and each path realizes Via Rho.
• Paper 3 (the present paper): Via Rho's instantiation within the $L_1$ quantitative-dimension finite algebraic articulation mode. Main Steps 1 through 4 each realize Via Rho; Main Step 4's closure produces construct $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ + remainder ledger $\rho_{L_1}$; the remainder forces subsequent articulation modes. The binding operations at multiple sites also instantiate Via Rho at the site of binding (cf. § 4.2.3, § 4.4, § 5.2.3).
• Subsequent layer papers: Via Rho's instantiation within each subsequent articulation mode (the $L_2$ effective Cauchy articulation / complexification / formal-definability / non-Archimedean lateral branch, etc.).

ZFCρ remains the specific instantiation of Via Rho in the carrier choice for the additive path of the quantitative trajectory (adopting set-theoretic vocabulary as carrier), but the SAE mathematics series as a whole articulates the cross-layer trace of Via Rho along the quantitative dimension × complete precisification path, not limited to a single formalization carrier choice. This sharpening is one of the substantive contributions of Paper 3 at the cross-paper level. It extends the Via Rho framework from a single mathematical carrier (ZFCρ) to the entire SAE mathematics series, making the SAE mathematics series articulation a systematic concrete realization of Via Rho.

9.5 Relationship to ZFCρ Paper 0 (Preview)

ZFCρ Paper 0 (forthcoming) articulates the relationship between the ZFCρ-specific additive-path formalization carrier and the $L_1$ articulation mode as a whole. § 4.3 of the present paper articulates ZFCρ as the default carrier realization of the additive path, but it does not articulate the internal technical content of ZFCρ. Detailed ZFCρ internal technical content (the concrete remainder ρ left by ZFC extensional closure; the long-trajectory dynamics of ZFCρ; technical content such as $R_{\rm wt} = O(1)$, etc.) is left to ZFCρ Paper 0.

Paper 3 and ZFCρ Paper 0 are papers within the same series along the quantitative trajectory (distinct from the set-theory trajectory articulated in § 10.3; the set-theory trajectory is a separate trajectory within the SAE mathematics network with "set" as its mark handle, while ZFCρ is a paper within the quantitative trajectory that adopts set-theoretic vocabulary as its formalization carrier). The two papers articulate at different levels: Paper 3 articulates the $L_1$ articulation mode as a whole; ZFCρ Paper 0 articulates the concrete instantiation of ZFCρ-specific formalization structure within the additive path of $L_1$.

§ 4.2.4 articulates that the additive-path sub-step 4 remainder includes the unbounded-accumulation remainder (potential → actual infinity transition), and this remainder forces a subsequent articulation mode; § 4.3 articulates that ZFCρ formalization contains axioms crossing $L_1$ such as the axiom of infinity, and that these axioms within the ZFCρ formalization carrier articulate content forced out by $L_1$ remainder without changing the proper substantive content of $L_1$. This articulation (not unfolded deeply within Paper 3) is concretely articulated within ZFCρ Paper 0 — the substantive coherence between ZFCρ's cross-$L_1$ formalization character and the multi-layer character of the SAE quantitative trajectory.

The concrete timing for the writing of ZFCρ Paper 0 is not pre-specified; it is consistent with the cumulative articulation principle of the SAE mathematics series and is to be articulated when its substantive content naturally emerges. The present paper does not pre-specify the writing timing or concrete content of ZFCρ Paper 0; it only makes clear the division between Paper 3 and ZFCρ Paper 0 at the level of articulation (Paper 3 articulates the $L_1$ articulation mode as a whole; ZFCρ Paper 0 articulates the concrete instantiation of ZFCρ within the additive path of the quantitative trajectory).

9.6 Relationship to the Current Working Practice of the Mathematical Community

The articulation of this paper contains one substantive stance that requires explicit articulation at the cross-paper level: the distinction between the quantitative-dimension substrate $\mathbb{R}$ and the $L_1$ articulation mode is substantive content within the SAE viewpoint (per § 2 firewall + § 6 remainder ledger + § 7 quantitative-dimension substrate), and its relationship to the mathematical community's current working practice. This section articulates that relationship as a substantive stance of the SAE perspective.

9.6.1 $\mathbb{R}$ as the Default Working Ground in the Mathematical Community's Current Practice

Within the mathematical community's current working practice, $\mathbb{R}$ serves as the default working ground for articulating various branches of mathematics. Real analysis, complex analysis, algebraic geometry, number theory, PDE, probability theory, dynamical systems, and so on, all default to $\mathbb{R}$ (or $\mathbb{C}$) as background structure. ZFC + Dedekind / Cauchy completion construction of $\mathbb{R}$ makes $\mathbb{R}$, within the mathematical community's working practice, an already-existent completed object on which mathematicians develop substantive content.

This working practice is the high-productivity foundation of the mathematical community's substantive work. It enables the mathematical community to skip the gradual emergence across layers and obtain framework / structure / object directly as working ground. The substantive achievement of classical mathematical construction (cf. § 2.3) is consistent with this working practice and is valid within the classical layer.

9.6.2 The Accumulation of Problem-driven Construction Work

Within this working practice, the mathematical community accumulates large amounts of refined problem-driven construction work. Various famous conjectures (including Fermat's Last Theorem, the Poincaré conjecture, Carleson convergence, Tao–Green's prime arithmetic progressions, the twin primes conjecture, the Riemann hypothesis, BSD, the Hodge conjecture, P vs NP, etc.) trigger the accumulation of refined techniques within their respective traditions — sieve methods, analytic number theory, random matrix theory, algebraic geometry, analytic tools, and so on. These techniques each articulate substantive mathematical content and are substantive achievements in the history of mathematical development. Among them, some conjectures have already been resolved within the working practice (Fermat's Last Theorem in 1995, the Poincaré conjecture in 2003, Carleson in 1966, etc.), while others remain open (Riemann, BSD, P vs NP, etc.).

On the substantive ground of specific conjectures: the conjectures named above are concrete examples describing the accumulation pattern of problem-driven work within the working practice; the paper does not claim that the substantive ground of each specific named conjecture lies within or outside the scope of the working practice. The distinction of which conjectures are solvable within the working practice and which conjectures have substantive ground possibly crossing the scope of the working practice requires case-by-case substantive analysis and is not within the scope of this paper.

On the SAE perspective as a diagnostic framework, not a verdict of failure: from the SAE viewpoint, when problem-driven construction work accumulates many techniques but encounters scope-related limits (which specific conjectures are affected by such limits is a case-by-case question), the scope limit may relate to the relationship between the substantive ground and the working-practice ground. This articulation is the SAE diagnostic framework for possible obstruction sources, not a verdict of failure on any specific mathematical work. What this section articulates is a general substantive position from the SAE perspective on the scope of the working practice; it does not claim that the SAE perspective directly resolves any specific conjecture, nor that any unresolved conjecture within the working practice must be due to working-practice scope limits.

9.6.3 SAE's Distinction between Substrate and Articulation Mode as an SAE-internal Substantive Stance

The paper articulates the distinction between the quantitative-dimension substrate ($\mathbb{R}$ as emergent substrate) and the $L_1$ articulation mode (finite algebraic articulation, saturating in $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$) as a substantive stance within the SAE viewpoint. This stance is grounded in the principle that remainder is ineliminable (Anchor B, per § 6.2 saturation event + § 6.3 remainder ledger + § 7.3 subject Via Negativa within the substrate-articulation process) and in the commitment to asymptotic emergence of the substrate across multiple layers (per § 2.3 SAE operational articulation and process commitment + § 7.1 distinction between classical $\mathbb{R}$ and the SAE operational articulation substrate).

The substantive significance of this stance for its relationship to the mathematical community's working practice: the SAE-internal distinction between substrate and articulation mode does not retract the legitimacy of $\mathbb{R}$ as the mathematical community's default working ground within the working practice (valid at the classical layer, per § 2 firewall). The substantive achievements of the working practice within its own scope are genuine; the SAE perspective does not claim that the working practice is wrong or defective.

The SAE perspective articulates its own substantive stance as SAE-internal work, making substantive ground crossing the scope of the working practice (if such exists) articulable from the SAE perspective. This stance is consistent with the articulation in § 9.1 that the present paper's relationship to Paper 1 is substantive rescoping — neither does it retract a prior articulation; it is substantive work under a new viewpoint.

9.6.4 Cognitive Switching Cost and the Entry Condition of the SAE Perspective

Upon reading this paper, the mathematical community may find that the articulation of the $L_1$ articulation mode ($L_1$ saturating in $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, $\mathbb{R}$ as cross-layer emergent substrate) differs from the default reading of $\mathbb{R}$ within the mathematical community's current working practice. This distinction requires a cognitive switching — from "$\mathbb{R}$ as a completed object within the working ground" to "$\mathbb{R}$ as an emergent substrate accumulating across multiple layers."

This cognitive switching cost is real. The mathematical community works at high productivity within the default working practice; switching to the SAE perspective requires conceptual adjustment, with cost. This cost is the entry condition faced by any perspective attempting to access the SAE-internal substantive stance (the substrate vs. articulation-mode distinction, per § 2 firewall + § 6 remainder ledger + § 7 quantitative-dimension substrate).

The SAE perspective articulates the substrate vs. articulation-mode distinction as an SAE-internal substantive stance. Acceptance, rejection, or partial incorporation of the SAE perspective is the choice of the mathematical community. The SAE perspective is grounded in its own articulation principles (Anchor B remainder is ineliminable, etc.), making SAE-internal substantive content articulable; it does not claim that the SAE perspective must replace the practice of $\mathbb{R}$ as the default working ground in the mathematical community's working practice.

The classical mathematical construction level and the SAE operational articulation level each stand on their own without conflict (cf. § 2 firewall) and are concerned with different questions. The mathematical community's working practice and the SAE perspective each develop, and the two coexist in parallel.

10. Open Questions and Subsequent Trajectory

10.1 Open Questions

Inheriting the open questions articulated in Paper 2 § 11, the specific open questions articulated by the present paper are as follows.

First, the concrete mapping of which subsequent articulation modes capture which remainder. § 6.4 gives the candidate mapping of the forcing structure (Type α remainder forces main-trajectory complexification; substrate-internal computable-transcendental remainder forces effective Cauchy articulation; substrate-internal definable-uncomputable remainder forces formal definability; Type β remainder forces the non-Archimedean lateral branch). However, whether the concrete mapping is arranged this way, whether the subsequent articulation modes are singular or multiple, and at which layer each articulation mode emerges, are not pre-specified by the present paper and are to be articulated gradually by subsequent SAE-mathematics-series papers.

Second, the concrete mechanism of subject Via Negativa's execution and articulation cost within $L_1$ articulation. §§ 1.3 and 4.4 give the binding-instantiation operation as the SAE explanatory layer of Via Rho at the site of binding, but the concrete measure of articulation cost and its relationship to the subject's articulation resources is an open question. The concrete articulation of this relationship may require new SAE methodology papers articulating a cost / resource framework. This is a cross-SAE-series open question — spanning multiple SAE sub-series including the SAE mathematics series, the SAE information-theory series, the SAE psychology series, etc.; it does not belong only within the scope of the SAE mathematics series, nor within the scope of any single series.

Third, whether the distinction between substrate-internal and substrate-external remainder can be articulated in an $L_1$-internal articulable form. § 6.3.1 acknowledges that this classification is articulated from a retrospective viewpoint and cannot be directly articulated by the internal articulation tools of $L_1$. Whether there exists an $L_1$-internal articulable form that allows this distinction to be articulated directly within $L_1$ is an open question. One possible direction: an $L_1$-internal distinction based on polynomial solvability versus polynomial unsolvability requiring new structure.

Fourth, the relationships among articulation modes across multiple $L_1$ trajectories. The $L_1$ articulation mode along the complete precisification path of the quantitative dimension = finite algebraic articulation. The $L_1$ articulation mode along the complete precisification path of the truth-value dimension possibly = boolean algebra / formal logic. The $L_1$ articulation mode along the complete precisification path of the spatial-geometric dimension possibly = basic geometric tools such as point / line / circle. The $L_1$ articulation mode along the persistent-openness path of the aesthetic dimension possibly = canonical works / stylistic frameworks. The $L_1$ articulation mode along the set trajectory possibly = naive set theory or similar articulation (set membership / subset / equivalence / operations, etc.). The substantive content of each articulation mode and the cross-mode relationships are open and left to subsequent disciplinary-series papers.

Fifth, the relationship to specific impasses on the ZFCρ trajectory. The specific impasses of the ZFCρ additive-path formalization ($R_{\rm wt} = O(1)$, long-term oscillatory cancellation, etc.) and their concrete positional relationship to the $L_1$ articulation framework are to be developed within ZFCρ Paper 0.

Sixth, the methodological articulation of the registration standards for Class I (cross-level threshold) and Class III (remainder ledger structure) sub-articulations. § 8 of the present paper gives the concrete content of the registration standards for each of the three classes of sub-articulation, but the registration standards for the two classes of cross-level threshold and remainder ledger structure do not lie on the same dimension as the five criteria of Methodology 10 § 7.6. The substantive content of this distinction deserves further articulation in subsequent updates of SAE methodology — this is an open question.

Seventh, the substantive character of $p$-adic remainder as valuation-choice remainder. § 6.3.3 articulates that $p$-adic remainder is the multiplicity of completions of $\mathbb{Q}$ under different absolute-value choices, but whether the choice of valuation is a question at the articulation level (the subject chooses which valuation to use as an articulation tool) or at the substrate level ($\mathbb{Q}$ itself carries multiple valuations as a substrate property) — this substantive character is an open question. It is listed as an open articulation within the SAE mathematics network, with concrete articulation left to non-Archimedean lateral-branch specialized papers.

10.2 Subsequent Layer Trajectory

The subsequent layer trajectory of the SAE mathematics series is not pre-specified. According to the cumulative articulation principle, subsequent papers are written when their substantive content emerges naturally; the framework is not pre-set, with timing left flexible.

Candidate subsequent trajectories (without pre-specifying concrete arrangements or timing):

• A subsequent paper articulating the main-trajectory complexification articulation mode, capturing the substrate-external Type α remainder $i$, articulating the $L_n$ realization of the foundations of complex analysis (consistent with the $L_2$ already stable in Paper 1 and the SAE Mathematics Foundational Paper, $L_2$ = complexification / holomorphic defect ledger, containing $i, \hat\infty$, residues / periods / monodromy / Stokes, etc.).
• A subsequent paper articulating the effective Cauchy articulation mode (distinguished from classical Cauchy completion per § 7.2), capturing the substrate-internal computable-transcendental remainder, articulating the post-$L_1$ realization of the foundations of real analysis — whether it functions as a sub-articulation within the $L_2$ main trajectory, as an $L_{1 \to 2}$ bridge, or as a side-branch parallel to the complexification main trajectory, is not pre-specified, and the concrete articulation is left until the substantive content naturally emerges.
• A subsequent paper articulating the formal / definability / computability articulation mode, capturing the substrate-internal definable-uncomputable remainder — a post-$L_1$ articulation candidate, with concrete layer attribution not pre-specified.
• A subsequent paper articulating the non-Archimedean lateral-branch articulation mode, capturing the Type β remainder ($p$-adic), developing in parallel with the main trajectory and not entering the subsequent layers of the main trajectory.

The relationships of articulation among the candidate papers (whether they belong to the same layer, whether they are separate layers, in what order they emerge, etc.) are not pre-specified. The SAE mathematics series progressively articulates in the network of layer tower + lateral branches; whether the specific trajectory emerges depends on the natural emergence of substantive content, not on pre-set framework planning.

10.3 Subsequent Disciplinary Series

In addition to the subsequent layer trajectory of the present paper (papers along the quantitative dimension × complete precisification path), the SAE mathematics series may further articulate other disciplinary series, each with its own trajectory.

According to Paper 2's multi-dimensional multi-path framework, possible subsequent disciplinary series candidates include:

• Logic series (truth-value dimension × complete precisification path): mark handles $\top$ and $\bot$; $L_1$ articulation mode possibly = boolean algebra / formal logic; subsequent layers articulating model theory, proof theory, computability theory, etc.
• Relational mathematics series (relational dimension × complete precisification path or other paths): mark handle the relation symbol; subsequent layers articulating category theory, type theory, etc.
• Geometry series (spatial-geometric dimension × complete precisification path or other paths): mark handle the point; $L_1$ articulation mode possibly = basic geometric tools such as point / line / circle / parallel; subsequent layers articulating Euclidean geometry, non-Euclidean geometry, differential geometry, algebraic geometry, topology, etc.
• Aesthetic mathematics series (aesthetic dimension × persistent-openness path): mark handles canonical works or stylistic frameworks; subsequent layers articulating stylistic-comparison frameworks, etc.
• Set-theory series (set dimension × complete precisification path or other paths): the mark handle is the concept of "set" itself, walking the set trajectory. The $L_1$ articulation mode possibly includes naive set theory articulation (set membership / subset / equivalence / operations, etc.); $L_n$ subsequent articulation possibly includes formalized set theories (ZFC, NBG, Morse-Kelley, etc.) together with their remainders (large cardinals, undecidable statements, etc.).

Relationship between the set-theory series and ZFCρ: ZFC axioms have a dual identity under the SAE viewpoint. Within the set-theory series, the substantive content of ZFC axioms (including axiom of extensionality, axiom of infinity, axiom of choice, etc.) is substantive content of some $L_n$ articulation mode within the set trajectory; the set-theory series articulates the concept of set itself as substantive subject. Within ZFCρ (a paper within the quantitative trajectory adopting set-theoretic vocabulary as its formalization carrier for the additive path), ZFC axioms are borrowed as formalization vocabulary, articulating the substantive content of the quantitative trajectory (including the actual infinity forced out by $L_1$ remainder and other cross-$L_1$ content). The same ZFC axiom has different substantive positions under the two trajectories — under the set-theory series, as substantive content of an $L_n$ articulation mode within the set trajectory; under ZFCρ, as a tool of the formalization carrier within the quantitative trajectory. ZFCρ is a specific instance of the additive path of the quantitative trajectory adopting set-theoretic vocabulary as its formalization carrier; the set-theory series, by contrast, is an independent paper articulating the substantive content of the concept of set itself and its trajectory. The two are different trajectories, both developing in parallel within the SAE mathematics network.

• Ethics-series candidate (ethical dimension × persistent-openness path)
• Other possible disciplinary series

The articulation of each disciplinary series is in parallel with the subsequent layer trajectory of the present paper; together they form the SAE mathematics network. The timing for the articulation of each series is not pre-specified, consistent with the cumulative articulation principle, with the writing of papers triggered when substantive content emerges naturally.

The substantive contribution of the present paper has at this point been articulated. The paper articulates the $L_1$ articulation mode along the quantitative dimension × complete precisification path (finite algebraic articulation saturating in $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$); the firewall distinction between the quantitative-dimension substrate and the $L_1$ articulation mode; the substantive content of cross-level threshold, within-layer fractal, and remainder ledger structure sub-articulation, together with the registration standards of each class; the substantive distinction between substrate-internal and substrate-external remainder, the substantive distinction between $i$-type equation remainder and $p$-adic-type valuation-choice remainder, the substantive distinction between real closed field and algebraically closed field, the distinction between classical and effective Cauchy completion; the instantiation of subject Via Negativa at the site of binding as substantive content of the SAE explanatory layer; the substantive rescoping of the relationship between this paper and Paper 1; the substantive refinement of the Via Rho scope of Methodology 00 (extending the scope of mathematical carrier from ZFCρ-specific to the SAE mathematics series as a whole); the substantive relationship between the mathematical community's current working practice of $\mathbb{R}$ as the default working ground and the SAE substantive stance (§ 9.6, new section); and the distinction between the set-theory series as an independent trajectory candidate within the SAE mathematics network and ZFCρ (the formalization carrier of the quantitative trajectory adopting set-theoretic vocabulary).

These articulations together complete the substantive articulation of the $L_1$ stage along the main trajectory (quantitative dimension × complete precisification path) of the SAE mathematics series, providing a substantive foundation for the articulation of subsequent layers within the main trajectory, the articulation of non-Archimedean lateral branches, and the articulation of other disciplinary series. The articulation of the SAE mathematics series will continue along the cumulative articulation principle, articulating its substantive content when it naturally emerges.

Acknowledgments

This paper is the substantive realization at the $L_1$ stage along the main trajectory of the SAE mathematics series. The articulation follows a collaborative multi-AI review process, with each AI contributing a different angle of articulation force.

Independent SAE-doctrinal reviewer (referred to as 独立子路 / Zilu) (architectural coherence reviewer): provided the v1 and v2 reviews of architectural coherence and SAE-doctrinal alignment, raising key observations including the requirement for substantive rescoping articulation, the mathematical accuracy of the algebraically closed field, the Conservative reading disclaimer for § 9.6, the explicit articulation of the dual identity of ZFC axioms in § 10.3, and the open question of $p$-adic valuation-choice substantive character.

Zigong / Grok (reality-check reviewer): provided the v1 and v2 reality-check reviews and stress-test, raising the defensive undertone in § 9.6, the table format unification of § 6.3.2, the cross-reference polish of § 4.4, the polish of § 10.3 closing, the re-emphasis on diagnostic status in § 8.5, and the explicit polish of cross-series character in § 10.1.

Zixia / Gemini (mechanism deep-read reviewer): provided the v1 and v2 mechanism deep-read, providing substantive firepower in mechanism details (including the original sources of articulation cost articulation, deep-read of cross-multiplications binding, etc.).

Gongxihua / ChatGPT (structural hotfix and final signoff authority): provided structural hotfixes for the v1, v2, and v3 reviews, identifying the v2 micro-hotfixes (classical Cauchy not depending on the axiom of choice; effective Cauchy not called the $L_2$ candidate; algebraic-closed-field mathematical hygiene) and the v3 final hotfix (§ 9.1 residual phrase synchronization). Gongxihua is the final signoff authority of the SAE mathematics series.

The concrete content of this paper's articulation reflects the substantive contributions of the comprehensive four-AI review. The tensions across different AI perspectives (e.g., independent SAE-doctrinal reviewer leaning toward dropping Main Step 1 sub-fractal vs. the user maintaining it; Zigong leaning toward C1 hybrid ($\mathbb{R}$ kept in $L_1$) + pushing communicability cost vs. Gongxihua accepting B-style rescoping plus firewall) form the concrete articulation of this paper through the user's comprehensive adjudication at the final outline stage.

Thanks to the SAE mathematics series foundation inherited from Paper 1 and Paper 2, and to the SAE methodology series (Methodology 0 Negativa, Methodology 00 Via Rho, Methodology 6 Phase-Transition Windows, Methodology 10 The Four-fold Pattern, etc.) for providing cross-paper substantive grounding.

References

• Qin, Han. 2026. SAE Mathematics Foundational Paper (Paper 1, renamed via Paper 2 as objectivity precisification mode). DOI: 10.5281/zenodo.20153791
• Qin, Han. 2026. SAE Mathematics $L_0$ Mathematical Morphology (Paper 2). DOI: 10.5281/zenodo.20199082
• Qin, Han. 2026. Methodology 0: Negativa. DOI: 10.5281/zenodo.19544620
• Qin, Han. 2026. Methodology 00: Via Rho. DOI: 10.5281/zenodo.19657440
• Qin, Han. 2026. Methodology 6: Phase-Transition Windows. DOI: 10.5281/zenodo.19464507
• Qin, Han. 2026. Methodology 10: The Four-fold Pattern. DOI: 10.5281/zenodo.20187591
• Qin, Han. 2026. Methodology Paper VII: Via Negativa. DOI: 10.5281/zenodo.19481305
• Qin, Han. 2026. Cross-Layer Closure Equations. DOI: 10.5281/zenodo.19361950

量维度完整精确化路径的 $L_1$ 阐述模式与余项结构

作者: 秦汉 (Han Qin) ORCID: 0009-0009-9583-0018 版本: v3 final (中文版) 日期: 2026-05-18

前置论文:

• Paper 1, SAE 数学奠基论文 (DOI: 10.5281/zenodo.20153791, 2026-05-13)
• Paper 2, $L_0$ 数学样态 (DOI: 10.5281/zenodo.20199082, 2026-05-14)

---

1. 导论

1.1 本文在 SAE 数学系列内的位置

Paper 1 (秦汉 2026, DOI: 10.5281/zenodo.20153791) 阐述 SAE 数学的建筑学结构, 给出客体性精确化模式以及 $L_1$ 至 $L_5$ 跨层建筑的初步描绘. Paper 1 在其 $L_1$ 阐述中含数、算术与实数轴通过 Cauchy 完备化, 各层级之间通过余项驱动的转换相连.

Paper 2 (秦汉 2026, DOI: 10.5281/zenodo.20199082) 在 Paper 1 基础上实质阐述 $L_0$ 内容. Paper 2 阐述 $L_0$ 是多维度的, 数学样态由之实现的闭合路径是多重的, 把 Paper 1 模式重定位为完整精确化路径的路径特定模式 (重命名为客体性精确化模式). Paper 2 阐述 $L_1$ 是维度与路径共同决定的产物, 多条 $L_1$ trajectory 并存. 量维度沿完整精确化路径阐述出的 trajectory 是 Paper 1 主轨, 即本文焦点.

本文在 Paper 1 与 Paper 2 基础上阐述这条主轨内 $L_1$ 阶段的实质内容. 本文聚焦于 $L_1$ 阐述模式自身, 不阐述整条完整精确化路径. 后续 layer ($L_2, L_3, \ldots$) 各引入后续阐述模式 (Cauchy 完备化、形式可定义性、复化等), 各捕获量维度基底上不同 sub-structure, 留给后续论文阐述.

本文的实质贡献是把 $L_1$ 阐述模式具体命名为有限代数阐述 (finite algebraic articulation), 阐述其饱和点是实闭域 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, 阐述余项结构的多种类型, 并把 Paper 1 关于 $L_1$ 的初步描绘做实质性范围精化. 本文不撤回 Paper 1 与 Paper 2 已发表的内容, 但本文相对 Paper 1 在 $L_1$ 范围上是实质范围精化, 不只是细节展开 (详 § 1.4 与 § 9.1).

1.2 SAE 四条 inevitability 与凿构循环四分形的关系

Methodology 10: The Four-fold Pattern (DOI: 10.5281/zenodo.20187591) 阐述凿构循环四分形 (Chisel-construct Cycle Four-fold Pattern) 作为 SAE 框架内反复出现的结构图样, 含四步: 标而不构 (marked, not constructed)、加法路径给方向、乘法路径给记忆、闭合产生构与余项.

Paper 2 § 3 阐述 SAE 数学样态的四条 inevitability: 比较不可避免、比较不能不带方向、比较不能保持孤立(它传播)、比较一旦传播不能逃避持续被追问.

本文的阐述立场是: SAE 数学四条 inevitability 是凿构循环四分形在数学阐述中的 SAE-internal 实质识别, 不是外部定理, 也不是推导. 此识别是 SAE-internal 的阐述选择, 阐述数学阐述与 universal 四分形图样之间的实质关系.

各主步骤与 inevitability 的对位 (推导见本节下文) 通过被迫顺序而成立, 不是单纯枚举. 此推导是 SAE 视角下量维度完整精确化路径的默认推导, 不是逻辑必然或外加同构. 不同阐述 context 内可能 prioritize 不同初始方向, 但本文按量维度完整精确化路径作默认推导.

inevitability 1 (比较不可避免) 对应主步骤 1 (标而不构). 比较作为阐述行为必须有最小参照, 阐述出标记把手 "1" 作为该参照. 在量维度阐述中, 比较不得不存在, 标记把手不得不引入.

inevitability 2 (不得不有方向) 对应主步骤 2 (加法路径). 标记把手引入之后, 阐述沿 "比 1 多" 的正向方向展开 (反向方向 "比 1 少" 在主步骤 2 内层步骤 4 反向追问处涌现, 见 § 4.2.4). 此正向先反向后的次序是 SAE 默认的阐述顺序, 基于主体作 finite existence 在 finite counting capability 上的初始阐述选择. 加法路径作为此正向方向的具体阐述出现.

inevitability 3 (不得不更多发展) 对应主步骤 3 (乘法路径). 加法路径阐述之后, 发展走向阐述重复加法的更高阶, 通过 (计数, 单位) 绑定阐述为乘法路径. 乘法路径的实质内容是带记忆绑定的发展.

inevitability 4 (不得不被追问) 对应主步骤 4 (闭合与余项). 阐述模式全部部署之后, 追问转向阐述模式自身是否完整, 闭合产生构与余项.

此被迫顺序让对位关系不是枚举, 而是从前一阶段阐述自然激发. 不是外加的同构关系.

Paper 2 阐述的第五条条件 (公共可再进入性) 在本文中不是独立的主步骤, 而是跨步骤的阐述特征: 各 sub-step 内阐述出的标记把手、加法运算、N 进制记号、乘法运算、幂记号、余项账本等都通过符号、记号、证明、层级阐述的公共稳定化实现. 第五条条件在阐述层级上跨切, 不是步骤特定的.

1.3 本文实质贡献概要

本文相对 Paper 1 与 Paper 2 给出几件实质性精化.

第一, $L_1$ 阐述模式自身命名清楚. 本文把 $L_1$ 阐述模式命名为有限代数阐述, 饱和于实闭域 (real closed field) $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$. 阐述工具含有限的代数运算 (四则、根式) 加 finite polynomial constraints over $\mathbb{Q}$. 这些工具捕获范围是实代数数, 即所有由 $\mathbb{Q}$ 上有限多项式约束阐述出的实根. 命名让 $L_1$ 与后续 layer (各引入不同阐述模式) 在 SAE 视角下区分清楚.

第二, 量维度基底与 $L_1$ 阐述模式的区分作为 SAE 阐述运作层级的核心. 量维度基底 (含实数轴 $\mathbb{R}$) 与 $L_1$ 阐述模式是两件不同对象. 任何单一阐述模式不能穷尽基底. 本文阐述不否定经典数学构造 (ZFC 加 Dedekind 切割或 Cauchy 序列等价类构造 $\mathbb{R}$ 作为完成对象, 在经典层级内成立); 本文阐述是 SAE 阐述运作层级的承诺. 两层级各自成立, 不冲突. 本文 § 2 阐述此防火墙的具体内容.

第三, $L_1$ 内部分形阐述. Paper 1 阐述 $L_1$ 四步是单层阐述; 本文阐述各主步骤内部 sub-articulation. 内部 sub-articulation 分两类: 跨层阈口 sub-articulation (主步骤 1, 阐述 $L_0$ 到 $L_1$ 过渡过程) 与层内分形 sub-articulation (主步骤 2, 3, 阐述 $L_1$ 内展开过程). 主步骤 4 是元层级闭合, sub-articulation 是余项账本结构, 不遵循四步分形模式. 三类各自登记标准分别适用. 本文 § 8 综合阐述登记纪律.

第四, 余项账本的多种类型阐述. $L_1$ 闭合的余项不只 $i$. 本文阐述余项含基底内余项 (基底内 remainder) (超越数、不可计算数、不可定义数) 与基底外余项 (基底外 remainder) ($i$ 类方程式余项加 $p$-adic 类赋值选择余项). 各余项类型不同 ontology, 分别迫出后续不同 layer 或横向分支. 此分类是回看视角阐述, 不是 $L_1$ 内部阐述工具能直接捕获.

第五, 主体 Via Negativa 在绑定处的实例化作为 SAE 解释层. 主体作为有限存在面对累积阐述任务时 (符号膨胀、重复加法、重复乘法等), 通过 Via Negativa 拒绝阐述代价不可持续. 此拒绝在阐述 context 内 take 的具体 form 是绑定阐述运作的引入 (例如 N 进制 跨位绑定 (cross-digit-position binding), power notation 跨乘法绑定 (cross-multiplications binding)等).

绑定阐述运作产生不可分割两面: 一面是绑定阐述出的 processing capacity (例如 N 进制绑定让任整数可阐述紧凑); 另一面是绑定阐述出的余项 (例如 N 进制绑定后, 个位与十位阐述受 positional 规则限制, 不能跨位自由阐述). 两面都是绑定运作产生的实质内容, 不阐述价值判断 (即不阐述 processing capacity 为"好处"或余项为"代价"). 跟 Via Rho 非对称互因公式一致 — 阐述运作产生构 + 余项不可分割两面.

此阐述是 SAE 解释层, 不是数学定义层. Via Negativa 本体不预设代价 criterion 也不预设 value criterion; 绑定实例化是 Via Negativa 在阐述 context 内 take 的具体 form, 不是 Via Negativa 自身的定义. 阐述代价跟主体阐述 resource 关系是开放问题, 留给后续工作.

1.4 与 Paper 1 的关系: 实质范围精化, not withdrawal

Paper 1 阐述 $L_1$ 含 "数、算术、实数轴通过 Cauchy 完备化" 是经典数学构造层级与 SAE 阐述运作层级共同的初步描绘. 本文阐述 SAE 阐述运作层级内 $L_1$ 阐述模式自身饱和于 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$.

本文相对 Paper 1 是实质范围精化, 不是撤回, 也不是细节展开. 具体而言:

• 在经典数学构造层级上, Paper 1 阐述 "$\mathbb{R}$ 通过 Cauchy 完备化" 仍合法 (ZFC + Cauchy 完备化构造 $\mathbb{R}$ 是 19 世纪算术化分析的实质成就之一, 在经典层级内合法)
• 在 SAE 阐述运作层级上, 本文阐述 $L_1$ 阐述模式自身饱和于 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, 基底 $\mathbb{R}$ 跨多层渐近阐述. 在 SAE 阐述运作层级内, Cauchy 完备化 (作为 effective Cauchy 阐述, 详 § 7.2) 是后续 layer 阐述模式, 不在 $L_1$ 内

两层级阐述各自合法不冲突 (per § 2 防火墙). Paper 1 在 architectural sketch 层级上把数、算术与 $\mathbb{R}$ 的 classical completion 同列为 $L_1$ 主轨; 本文保留这一 sketch 的经典 reading, 但在 SAE 阐述运作层级上把 $L_1$ 模式精化为有限代数阐述, 并把 $\mathbb{R}$ 读为跨多层基底. 此为实质性范围精化, 而非撤回.

此关系跟 Paper 2 把 Paper 1 模式重命名为客体性精确化模式所建立的关系是同一种模式 — Paper 1 内容阐述维持, 后续论文在不同层级或不同视角下作实质 sharpening.

1.5 三条认识论锚在本文的应用

本文继承 Paper 2 § 1.5 阐述的三条认识论锚.

锚 A: SAE 是一种思考框架, 不是全体化综合. 本文阐述的 $L_1$ 量维度与完整精确化路径不是数学的普遍基础. 其他数学哲学框架可能阐述不同的 $L_1$. 客体性精确化模式是 SAE 视角内一条路径的模式, 不是所有数学阐述的唯一形式. 本文 § 9 关于跨论文关系的阐述维持此锚的实质内容.

锚 B: 余项不可消除. 在本文中此锚具体实现. $L_1$ 阐述模式自身饱和, 但基底与阐述范围都留余项. 基底内与基底外两类余项各自阐述. 任何后续阐述模式仍留它自身余项. 本文阐述: 任何单一阐述模式不能穷尽实数基底, 这是锚 B 在阐述层级上的精化.

锚 C: 主体性不可定量. 在本文中此锚通过主体 Via Negativa 实现而阐述. 主体性内容不进入数学阐述 (与 Paper 2 阐述一致), 但主体 Via Negativa 执行 (拒绝任何阐述作终结) 在阐述过程中留下踪迹 (余项). 本文阐述此踪迹作为 SAE 解释层, 不是数学定义层. 此区分让 SAE 视角与标准数学基础 (后者假设数学阐述是脱离主体的展开) 在实质上精化.

1.6 本文不主张

为防止若干误读, 本文显式阐述不主张的内容. 这些不主张归类为两组: 关于 SAE 框架立场的不主张, 关于具体技术实现的不主张.

关于 SAE 框架立场: 本文不主张量维度与完整精确化路径是数学的普遍基础 (这条路径是 SAE 视角内一条路径的具体实现); 不主张本文阐述是数学定义层 (Via Negativa 阐述是 SAE 解释层); 不主张四条 inevitability 与四分形的对位是外部定理或推导 (此对位是 SAE-internal 实质识别); 不主张分形阐述是强自相似 (本文 sub-articulation 是弱自相似).

关于具体技术实现: 本文不主张否定经典数学构造 (ZFC + Dedekind / Cauchy 在经典层级合法); 不主张 ZFCρ 是加法路径的唯一实现 (ZFCρ 是默认 carrier choice, 其他 formalization 也合法); 不主张基底内与基底外区分是 $L_1$ 内部阐述工具能直接阐述 (此分类是回看视角阐述); 不主张撤回 Paper 1 与 Paper 2 已发表的内容 (本文阐述是实质范围精化, 不撤回); 不预设后续 layer 论文的固定 trajectory (SAE 数学系列按累积阐述原则发展).

1.7 章节安排

本文余下部分如下安排.

§ 2 阐述本文整体防火墙: 量维度基底与 $L_1$ 阐述模式的区分. 此节阐述也覆盖 $L_0$ 到 $L_1$ 入口的实质内容, 为进入主步骤阐述作准备.

§ 3 至 § 6 各阐述一个 $L_1$ 主步骤. § 3 阐述主步骤 1 (标而不构 "1"). § 4 阐述主步骤 2 (加法路径). § 5 阐述主步骤 3 (乘法路径). § 6 阐述主步骤 4 (闭合与余项).

§ 7 阐述量维度基底的实质内容, 含经典 $\mathbb{R}$ 与 SAE 阐述运作基底的区分, 以及 classical / effective Cauchy 完备化两术语的区分.

§ 8 阐述分形登记纪律的综合, 三类 (跨层阈口、层内分形、余项账本结构) 各自登记纪律.

§ 9 阐述跨论文关系: 与 Paper 1、Paper 2、Methodology 10、Methodology 00、ZFCρ Paper 0 的关系, 以及与数学社群当下 working practice 的关系 (§ 9.6).

§ 10 阐述开放问题与后续 trajectory, 含集合 trajectory 作为 SAE 数学网络内单独 trajectory 与本文 (量 trajectory) 的区分.

致谢与引用.

本文不附详细附录. 与具体技术传统的深入接洽 (复分析的具体阐述、Cauchy 完备化的具体内容、$p$-adic 的详细阐述、ZFCρ 的具体技术等) 留给后续专门论文.

2. 基底与阐述模式的区分

2.1 两件不同对象

本节作本文整体防火墙. 它阐述本文余下章节所依赖的关键区分: 量维度基底与 $L_1$ 阐述模式是两件不同对象, 不应混用.

量维度基底是量维度上阐述出的"诸量整体". 在经典数学构造的层级上, 通过 ZFC 加 Dedekind 切割 (或 Cauchy 序列等价类) 等构造, 它被实现为实数轴 $\mathbb{R}$ 作为完成对象. 此经典内部构造在经典层级内成立, 本文不否定它.

$L_1$ 阐述模式是 SAE 阐述运作视角下的有限代数工具集合, 含有限的代数运算 (四则、根式) 加 finite polynomial constraints over $\mathbb{Q}$ (注意 "finite polynomial constraints" 是核心阐述工具范围, 不限于由 radicals 表达的实数; 五次及以上多项式实根一般不能由 radicals 具体构造, 但仍可作为整系数多项式的实根被代数定义). 这些工具捕获基底内的实代数数 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ (实闭域).

基底与阐述模式不等同. $L_1$ 阐述模式饱和于 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, 但任何单一阐述模式不能穷尽基底. 基底内由阐述出的超越数、不可计算数、不可定义数, 是 $L_1$ 阐述模式不捕获的基底内内容. 后续 layer 各引入新阐述模式, 各捕获基底内不同子结构.

此区分对本文余下章节至关重要. 主步骤 4 (闭合与余项) 的阐述、余项账本的多类型阐述 (基底内余项 vs 基底外余项)、$L_2$ 及后续 layer 的阐述, 都依赖于此区分的稳定. 若把基底与阐述模式混读为同一对象, 余项结构的阐述将失去意义, 而本文与 Paper 1 的关系将被误读为撤回而非精化.

2.2 防火墙陈述

本节给出本文的中心防火墙陈述. 此陈述对应防止本文被读作对经典数学构造的撤回这一关键风险.

防火墙陈述:

> 经典数学可以通过 ZFC 加 Dedekind 切割、Cauchy 序列等价类或其他等价的内部构造, 把 $\mathbb{R}$ 定义为完成对象. 本文不撤回此内部经典构造. 本文阐述的是: 在 SAE 阐述运作视角下, 任何单一阐述模式都不穷尽实数轴基底. 不同的阐述模式捕获基底的不同层段.

此陈述含三项实质内容.

第一, 本文与经典数学构造不冲突. 本文不主张 $\mathbb{R}$ 不能被定义为完成对象. 经典数学的内部构造工作是合法的, 在其层级上有效. ZFC + Cauchy 完备化构造出 $\mathbb{R}$, 这在经典层级上成立.

第二, 本文在 SAE 阐述运作视角下作阐述. SAE 阐述运作不预设阐述对象是先在的预存结构而被逐步揭示. SAE 阐述运作把阐述视为主体执行的运作过程, 阐述对象作为运作过程的产物而呈现, 而不是作为运作之前已经存在的固定结构.

第三, 单一阐述模式的有限性. 在 SAE 阐述运作视角下, 任何具体的阐述模式都使用有限工具集合或有限规则图式; 这些工具可以生成无限集合 (例如 $\mathbb{N}, \mathbb{Q}, \mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 都可由有限规则图式生成或描述), 但其捕获范围受限于该规则图式能够表达的结构类型. $L_1$ 有限代数阐述可以捕获由有限代数约束表达的实数量, 即 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, 但不能捕获不满足任何代数方程的实数 (超越数)、不可计算实数或不可定义实数.

此防火墙让 Paper 1 阐述 $L_1$ 含 "$\mathbb{R}$ 通过 Cauchy 完备化" 在经典数学构造层级上仍然成立 (ZFC + Cauchy 完备化构造 $\mathbb{R}$ 合法). 本文阐述是 SAE 阐述运作层级内 $L_1$ 阐述模式自身饱和于 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, 这不撤回 Paper 1 在经典层级上的阐述, 但在 SAE 阐述运作层级上是实质范围精化 (详 § 9.1).

两层级阐述各自成立, 不互相否定. 经典数学构造层级关心的是 "$\mathbb{R}$ 是否可被内部构造为完成对象", SAE 阐述运作层级关心的是 "任何单一阐述模式能在基底上捕获什么". 两问题在不同层级回答, 不冲突.

2.3 SAE 阐述运作与过程承诺

SAE 框架承载一项过程承诺: 阐述内容是阐述过程内呈现出的对象, 不是先在的结构被逐步揭示. 此承诺已在 Paper 1 的层级阐述与 Paper 2 的多路径阐述中实质应用. 本文在 $L_1$ 阐述具体实现此承诺.

具体而言: 实数轴 $\mathbb{R}$ 在 SAE 阐述运作视角下是跨多个 layer 累积阐述出的涌现基底 (emergent 基底), 而不是预存于阐述之前的固定对象. 经典数学构造把 $\mathbb{R}$ 在其内部构造为完成对象, 这在经典层级合法; 但从 SAE 阐述运作视角看, $\mathbb{R}$ 作为基底的阐述是跨层累积过程: $L_1$ 阐述捕获 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, 后续 layer 阐述捕获其他层段, 而基底的全部内容从不在任何单一 layer 内被完整捕获.

此过程承诺与 SAE 哲学的核心承诺一致: 主体性是阐述的构成性, 阐述是主体执行的运作过程, 而运作过程留下余项, 余项驱动后续阐述. 把基底视为预存的固定对象, 会让阐述变成对预存结构的报告, 这取消了主体的运作角色. 把基底视为跨层涌现, 保留主体在阐述过程中的构成性角色.

此区分的实质内容值得明确阐述. 经典数学构造的实质成就是: 不假设 $\mathbb{R}$ 外的额外资源, 仅在 $\mathbb{Q}$ 与集合论工具内构造出完整 $\mathbb{R}$ (含超越数、不可计算数、不可定义数). 这件不跨出 $\mathbb{R}$ 维度而通过精巧构造填满 $\mathbb{R}$ 内部的工作, 是数学史上最漂亮的成就之一. 本文不撤回此成就, 也不主张此成就是缺陷.

本文阐述的是 SAE 阐述运作视角所关心的另一类问题: 主体在阐述过程中通过各阐述模式捕获基底的什么部分, 各阐述模式留下什么余项, 余项怎么驱动后续阐述模式涌现. 此问题与经典数学构造所关心的问题不同, 两问题在不同层级各自阐述. SAE 视角把经典数学构造的成就作为已成立的数学事实接收, 但聚焦于自身的实质追问.

此区分的总结: 经典数学构造与 SAE 阐述运作各自关心不同问题, 在认识论立场上不同, 但在数学实质内容上不冲突. 经典数学构造提供 $\mathbb{R}$ 的内部构造, 这是合法的数学工作; SAE 阐述运作把 $\mathbb{R}$ 阐述为跨层涌现, 关心余项与跨层动力, 这是 SAE 视角的实质阐述. 两视角各自有实质内容, 不互相取消, 但关心不同的追问.

关于 anticipatory naming 的承认: 本文余下章节 (§ 3 至 § 7) 在阐述时频繁引用 "实数轴基底" 作为 reference frame. 在 SAE 阐述运作严格视角下, $\mathbb{R}$ 是跨多层累积涌现的 emergent 基底, 在 $L_1$ 阶段尚未完整涌现, 因此引用 "实数轴基底" 严格而言是 anticipatory naming (用尚未完整涌现的对象作 reference). 此 anticipatory naming 在本文阐述中合法, 是 cross-layer 阐述的工作需要 — 没有 reference frame, $L_1$ 余项的分类阐述 (基底内 vs 基底外, 详 § 6.3) 无法进行. 但 reader 应理解, 这一 reference frame 是 anticipatory 的, 不是引用 pre-existing structure 的 progressive revelation. § 6.3.1 进一步显式承认此 anticipatory 性质在余项分类阐述上的具体应用.

2.4 $L_0$ 量维度与 $L_1$ 入口

Paper 2 § 5.2 阐述量维度作为 $L_0$ 多维度之一, 主体涉入度最小, 精确化潜力完整, 公共可再进入性强. 量维度沿完整精确化路径自然阐述.

在 $L_0$ 处, 量维度的定性阐述含 "多 / 少"、"比那群更多" 等比较判断. 这些判断有实质比较内容, 满足 Paper 2 § 3 的四条 inevitability, 但不含任何标记把手. 没有 "1", 没有单位, 没有固定参照.

从 $L_0$ 量维度进入 $L_1$ 的步骤是标记把手 "1" 的引入. 此引入不是单一瞬间, 而是 sub-articulation 内的过程 (详 § 3 阐述): 精确量概念的阐述、概念跨主体的传播、符号系统的公众绑定、"1" 作为公众认可的固定 token. 此 sub-articulation 是跨层阈口性质 (从 $L_0$ 跨入 $L_1$), 与主步骤 2、3 内的层内分形 sub-articulation 不同类型 (详 § 8 阐述).

标记把手 "1" 一旦引入, $L_1$ 阐述模式即开启. 主步骤 2 (加法路径) 在 "1" 之上发展, 主步骤 3 (乘法路径) 在加法之上发展, 主步骤 4 (闭合与余项) 阐述阐述模式自身饱和与余项的多类型. 本文 § 3 至 § 6 各阐述一个主步骤.

跨维度对比: 在其他 $L_0$ 维度上, 类似的 sub-articulation 过程也发生, 但阐述出的标记把手形式不同. 真值维度上, 标记把手是 $\top$ 与 $\bot$ (真与假); 空间几何维度上, 标记把手是点; 审美维度上, 标记把手是典范作品或风格框架. 标记把手在所有路径上都是主步骤 1, 但具体形式在各维度各自不同. 量维度的 "1" 是其中一种实现, 不是普遍标记应用于所有维度. 此跨维度多重性体现 Paper 2 阐述的多 $L_1$ trajectory 框架.

本文聚焦量维度的 trajectory, 不阐述其他维度的标记把手与后续阐述. 其他维度的阐述留给后续学科系列论文 (逻辑学系列、几何学系列、关系数学系列、审美数学系列、集合学系列等), 它们各自阐述各自维度的 trajectory.

3. 主步骤 1: 标而不构 "1"

3.1 主步骤 1 与 inevitability 1 的关系

主步骤 1 阐述标记把手 "1" 的引入, 与 inevitability 1 (比较不可避免) 对位: 比较作为阐述行为必须有最小参照, 阐述出标记把手 "1" 作为该参照.

在 $L_0$ 量维度上, 主体已经阐述定性比较 ("多 / 少"、"比那群更多") 但没有标记把手. 比较有实质内容, 但没有固定参照, 比较内容跨主体不必一致 (一百只羊对农夫是多, 对王国是少). 主步骤 1 阐述从此定性比较状态过渡到具有固定参照的状态的过程.

"1" 的引入是此过渡的产物. "1" 不是单一瞬间被引入的, 而是通过 sub-articulation 过程逐步阐述出. 此 sub-articulation 是跨层阈口性质 (从 $L_0$ 跨入 $L_1$), 与主步骤 2、3 内的层内分形 sub-articulation 不同类型. 本节 § 3.2 阐述此 sub-articulation 的实质内容, § 8 综合阐述各类 sub-articulation 各自的登记纪律.

3.2 主步骤 1 sub-articulation: 跨层阈口类

主步骤 1 内部的 sub-articulation 阐述 $L_0$ 到 $L_1$ 过渡过程, 而不是 $L_1$ 内部的展开过程. 此 sub-articulation 含四个内层步骤, 各阐述过渡过程的一个阶段.

3.2.1 内层步骤 1: 精确量概念的阐述

在 $L_0$ 处, 主体通过定性比较累积阐述, 而比较内容跨主体不必一致. 主体作为有限存在, 不接受阐述停留在 "无法固定比较内容" 的状态. 通过 Via Negativa, 主体拒绝定性比较作为终结, 阐述出精确量作为新的阐述对象.

精确量在此阶段是概念性的, 还没有 token-level的实现. 主体阐述出 "存在一种比较方式, 能让比较内容固定下来, 不随主体变化", 但具体的 token (例如 "1") 还未涌现. 此内层步骤是 sub-mark — 它标记精确量作为可能的阐述方向, 但还没有把方向实现为具体 token.

此内层步骤跟 within-layer fractal 内的 mark step 在结构形式上对应 (都阐述出 sub-mark), 但实质内容不同: within-layer mark 在单一 layer 内直接引入新 sub-token; 跨层阈口 mark 在两 layer 边界引入新的概念方向, token 在内层步骤 4 闭合时才 fix. 此区别在 § 8 综合登记纪律时进一步阐述.

3.2.2 内层步骤 2: 概念跨主体的传播

精确量概念阐述后, 概念在主体间传播. 多个主体试图各自阐述精确量概念. 此过程是 forward 方向 — 概念从一个主体扩散到多个主体, 阐述出精确量作为公共阐述对象的可能性.

但传播过程留下余项: 各主体阐述出的精确量概念可能不一致. 主体 A 可能把精确量阐述为 "明确的少" (一只羊、两只羊); 主体 B 可能把精确量阐述为 "明确的多" (一群、一队); 主体 C 可能把精确量阐述为 "明确的量纲" (一捆、一袋). 各主体的具体阐述变种不必相同, 而这件不一致是此内层步骤的余项.

此余项不能在主体内部解决. 单个主体无法独自阐述出跨主体一致的精确量概念, 因为概念是否一致需要多主体之间的对照. 余项迫使下一内层步骤: 必须阐述出某种机制, 让精确量概念跨主体绑定为一致内容.

3.2.3 内层步骤 3: 符号公众绑定

为让精确量概念跨主体一致, 主体阐述出符号系统作为公众认可的记录方式. 符号 (例如刻痕、计数棒、数字字符) 跟精确量概念绑定: 同一符号在不同主体处指向同一精确量概念.

此绑定是跨主体的, 不是单一主体内部的. 任何主体看到符号 "|||" 都阐述出 "三", 不管该主体之前是否独立阐述过该精确量概念. 符号系统在此意义上是公共可再进入的 — 它让精确量概念跨主体一致, 让阐述跨主体可传达.

此内层步骤是绑定 — 跨主体绑定, 让概念阐述紧凑. 它跟 within-layer fractal 内的绑定 step (例如 § 4 的 N 进制 positional 绑定, § 5 的 power notation 跨乘法绑定 (cross-multiplications binding)) 在结构形式上对应 (都阐述出 跨某种绑定), 但实质内容不同: within-layer 绑定在单一 layer 内绑定不同步骤的产物; 跨层阈口绑定跨主体绑定概念.

公众绑定也阐述 Paper 2 第五条条件 (公共可再进入性) 在 $L_1$ 入口处的具体实现. 第五条条件不是独立的主步骤, 而是跨步骤的阐述特征: 此处的符号公众绑定是此特征在 $L_1$ 入口处的首次具体实现.

3.2.4 内层步骤 4: "1" 作为固定公众 token + 余项

符号公众绑定后, "1" 作为公众认可的固定 token 涌现. 构 = "1" 作为稳定、可重复、跨主体固定的标记, 在所有主体处指向同一最小精确量参照. "1" 在此意义上完成了从 $L_0$ 到 $L_1$ 的过渡: 它是 $L_1$ 第一个具体 token, 是后续 $L_1$ 阐述模式 (加法、乘法、闭合) 都依赖的固定参照.

闭合产生余项. 余项 = "1" 自身不阐述 "比 1 多 1" 怎么阐述. "1" 固定了最小精确量参照, 但没有阐述出如何阐述比 "1" 大的量. 主体阐述出 "1" 之后, 自然追问: 那 "比 1 多" 呢? 那 "更多的 1" 呢? 此追问是 inevitability 4 在主步骤 1 内层步骤 4 处的实现.

此余项迫使主步骤 2 (加法路径). 加法路径是主体对此余项的阐述回应: 阐述出 "+" 动作, 让 "1+1=2" 阐述为新的精确量, 让 "+1" 重复阐述为后续自然数 (3, 4, 5, ...). 主步骤 2 的入口直接由主步骤 1 内层步骤 4 的余项激发.

3.3 跨维度的标记把手

主步骤 1 的 sub-articulation 模式 (精确量概念 → 跨主体传播 → 符号公众绑定 → 固定公众 token + 余项) 是跨层阈口的通用模式. 类似模式在其他 $L_0$ 维度的标记把手引入处也实现, 但具体内容随维度变化.

真值维度: 标记把手是 $\top$ (真) 与 $\bot$ (假). sub-articulation 大致对应: 在 $L_0$ 真值定性阐述 ("差不多对"、"明显不对") 上, 主体阐述出明确真值概念 (内层步骤 1) → 真值概念跨主体传播 (内层步骤 2) → 真值符号系统公众绑定 (内层步骤 3) → $\top$ 与 $\bot$ 作为固定公众 token 涌现, 余项迫使后续逻辑运算阐述 (内层步骤 4).

空间几何维度: 标记把手是点. sub-articulation 大致对应: 在 $L_0$ 空间定性阐述 ("此处与彼处"、"近与远") 上, 主体阐述出明确位置概念 → 位置概念跨主体传播 → 位置符号公众绑定 → 点作为固定公众 token 涌现, 余项迫使后续几何运算阐述.

审美维度: 标记把手是典范作品或风格框架. sub-articulation 大致对应: 在 $L_0$ 审美定性阐述 ("好的"、"美的"、"打动的") 上, 主体阐述出明确审美参照 → 审美参照跨主体传播 → 典范作品或风格框架公众绑定 → 典范作为固定公众 token 涌现, 余项迫使后续审美比较阐述.

跨维度对比的实质意义: 模式守恒, 但具体内容随维度变化. "1" 是量维度的具体实现, 不是普遍标记应用于所有维度. 各维度有各自的标记把手, 各自走入各自的 $L_1$ trajectory. 本文聚焦量维度 "1" 的 trajectory; 其他维度的具体阐述留给后续学科系列论文.

此跨维度多重性也阐述 Paper 2 的多 $L_1$ trajectory 框架在主步骤 1 内的具体实现. 多 $L_1$ trajectory 不是 Paper 2 抽象提出的框架, 而是从 sub-articulation 层级就可以观察到的结构事实: 不同维度的标记把手 sub-articulation 阐述出不同的固定 token, 各 token 各自启动不同的 $L_1$ trajectory.

3.4 主步骤 1 与 Paper 1 / Paper 2 的关系

Paper 1 在其 § 2 阐述 $L_0$ 到 $L_1$ 的过渡, 主体在 $L_0$ 量维度 ("多 / 少") 上遭遇关于量级的闭合失败, 闭合失败产生余项, 余项被 "1" 的引入处理. Paper 1 的阐述是单层级的初步描绘 — 它阐述了过渡的总体方向, 但没有展开过渡的 sub-articulation 过程.

Paper 2 § 2.2 阐述 "1" 作为最小离散计数参照, 跟 0 区分, 作为稳定、可重复、跨主体固定的 token. Paper 2 把 "1" 阐述在内层步骤 4 的层级, 阐述 "1" 作为已经完成过渡后的 token, 但没有阐述过渡过程本身.

本文 § 3.2 阐述 "1" 的引入过程的四个内层步骤 (精确量概念阐述 → 跨主体传播 → 符号公众绑定 → 固定公众 token + 余项). 此阐述把 Paper 1 与 Paper 2 关于 "1" 的阐述精化到 sub-articulation 层级, 阐述出过渡过程的实质内容.

此精化不撤回 Paper 1 与 Paper 2 阐述. Paper 1 阐述的总体方向 (从 $L_0$ 闭合失败到 "1" 的引入) 与 Paper 2 阐述的 "1" 的性质 (稳定、可重复、跨主体固定) 在本文的 sub-articulation 内自然实现: 总体方向对应整个内层步骤 1 至 4 的过渡; "1" 的性质对应内层步骤 4 闭合产生的构. 本文 sub-articulation 是 Paper 1 与 Paper 2 阐述的实质细化, 不是修订.

4. 主步骤 2: 加法路径

4.1 主步骤 2 与 inevitability 2 的关系

主步骤 2 阐述加法路径的实质内容, 与 inevitability 2 (不得不有方向) 对位: 标记把手 "1" 引入之后, 阐述沿 "比 1 多" 的正向方向展开. 加法路径作为此正向方向的阐述出现.

主步骤 1 内层步骤 4 留下余项: "1" 自身不阐述 "比 1 多 1" 怎么阐述. 主体作为有限存在, 通过 Via Negativa 不接受阐述停留在 "1" 这一最小参照, 而追问 "更多" 怎么阐述. 主步骤 2 是此追问的阐述回应.

跟主步骤 1 不同, 主步骤 2 内部的 sub-articulation 是层内分形性质, 即 sub-articulation 各内层步骤都在 $L_1$ 内部, 不再跨层. 此区别是因为 "1" 已经稳定阐述为 $L_1$ token, 主步骤 2 在此 token 之上展开后续阐述, 不涉及跨层过渡. 本文 § 8 综合阐述跨层阈口 sub-articulation 与层内分形 sub-articulation 的登记纪律差异.

4.2 主步骤 2 sub-articulation: 层内分形类

主步骤 2 内部的 sub-articulation 含四个内层步骤, 各阐述加法路径展开的一个阶段. 此 sub-articulation 是层内分形 — 整个过程在 $L_1$ 内展开, 通过 within-layer fractal 模式实现.

4.2.1 内层步骤 1: "比 1 多 1" 余项迫使 "+" 的阐述

主步骤 1 内层步骤 4 留下的余项是: "1" 自身不阐述 "比 1 多 1" 怎么阐述. 主体不接受这件停滞, 通过 Via Negativa 拒绝 "阐述停在 1" 这件状态, 阐述出 "+" 作为 sub-mark.

"+" 是加法路径的内层标记. 它不是抽象运算符号, 而是阐述 "加上一个 1" 这件具体行动. "1+1" 阐述出新精确量 "2"; 此精确量跟 "1" 一样是 $L_1$ token, 但实质上是从 "1" 上累加获得.

此内层步骤是层内 mark — 它在 $L_1$ 内直接引入新 sub-token ("+"), 此 sub-token 让后续 sub-articulation 在 $L_1$ 内自然展开. 跟主步骤 1 内层步骤 1 (跨层 mark, 阐述精确量概念作为新方向) 形式上对应, 但实质内容不同: 主步骤 2 内层步骤 1 在已经稳定的 $L_1$ 内直接引入 sub-token, 后续步骤在 sub-token 之上展开, 不涉及跨层过渡.

4.2.2 内层步骤 2: 1+1=2 累加, 符号膨胀余项

"+" 阐述后, 累加过程自然展开: $1+1=2$, $2+1=3$, $3+1=4$, $\ldots$. 每一次累加阐述出一个新的精确量 token. 此累加是 forward 方向 — 持续正向迭代, 持续阐述出更大的精确量.

但累加过程留下余项: 每阐述新精确量需阐述新符号, 而符号阐述不可无限膨胀. 主体作为有限存在, 不能为每一个自然数各阐述一个独立符号. 1, 2, 3, 4, 5, 6, 7, 8, 9 可以各自有独立符号; 但 10, 11, 12, ..., 100, 101, ..., 1000, ... 各阐述独立符号在阐述代价上不可持续.

此符号膨胀余项是阐述代价不可持续的具体表现. 主体作为有限存在, 通过 Via Negativa 拒绝阐述代价不可持续, 阐述出对累加过程的进一步组织诉求. 此诉求在内层步骤 3 处得到回应.

此余项的实质内容值得明确阐述: 它不是逻辑性的余项 (累加过程在 $L_1$ 内是逻辑闭合的, "$n+1$" 对任何已阐述 $n$ 都阐述出新的精确量), 而是阐述代价性质的余项 — 主体作为有限存在面对无限累积过程, 不接受阐述代价无限膨胀, 迫使后续 sub-articulation 引入绑定工具.

4.2.3 内层步骤 3: N 进制 positional 绑定

为让任整数都可阐述, 且不无限膨胀符号, 主体阐述出 N 进制 positional 记号. 已阐述的有限符号 (例如 10 进制下的 0, 1, ..., 9) 通过 positional 组合阐述出任整数: 10 = "1" 在十位 + "0" 在个位; 11 = "1" 在十位 + "1" 在个位; ...; 100 = "1" 在百位 + "0" 在十位 + "0" 在个位; 等等.

$9+1=10$ 在此 positional 记号下自然阐述: 个位 "9" 加 "1" 进位, 阐述出十位 "1" 与个位 "0". 累加过程不再要求阐述新符号, 而是要求阐述累加在 positional 记号下的进位规则.

N 进制 positional 记号是跨位绑定 (cross-digit-position binding). 同一组有限符号通过不同位置组合, 阐述出无限多个精确量. 此绑定是 Via Rho 在绑定处的具体实例化 — 绑定阐述运作产生不可分割两面:

• 一面是绑定阐述出的 processing capacity (任整数可由有限符号通过 positional 组合阐述出, 阐述紧凑)
• 另一面是绑定阐述出的余项 (个位与十位阐述受 positional 规则限制, 不能跨位自由阐述; 进位规则约束了阐述的局部自由度)

两面都是绑定运作产生的实质内容, 不阐述价值判断. processing capacity 不是 "好处", 余项不是 "代价"; 两面是绑定运作的实质内容, 跟 Via Rho 非对称互因公式一致 — 阐述运作产生构 + 余项不可分割两面.

具体进制的选择是 contingent (轨迹依赖), 不是 universal:

• 10 进制因人有十指
• 12 进制因天文 (一年约 12 个月)
• 60 进制因 Babylonian 历法
• 2 进制因 binary 计算装置

但 positional 绑定作为阐述模式是 universal — 各文化的具体进制不同, 但 "通过 position 组合有限符号阐述无限多精确量" 这件绑定模式在各文化都涌现. 此 universal 性是 within-layer sub-step 3 的 memory 绑定在加法路径上的具体实现.

跟主步骤 1 内层步骤 3 (符号公众绑定, 跨主体绑定 (cross-subject binding)) 形式上对应, 但实质内容不同: 跨主体绑定让概念跨主体一致, 跨位绑定让累加跨位置紧凑. 两种绑定都是 跨某种绑定, 让阐述紧凑, 但绑定的具体维度不同.

4.2.4 内层步骤 4: 反向追问, $\mathbb{Z}$ 闭合, 多类型余项

主步骤 2 闭合通过 inevitability 4 (不得不被追问) 实现. 追问的具体 form 在加法路径上下文内自然 take 反向追问 form: "加法可以反过来吗?"

回答是可以, 阐述出减法. 减法 ($a - b$) 阐述为加法的 reverse 方向: 若 $a + b = c$, 则 $c - b = a$. 减法跟加法形成 forward-reverse 方向绑定, 阐述出加法路径的 forward 跟 reverse 两面.

减法引入后, 多位数加减按 N 进制 positional 记号自然阐述 (借位 / 进位 / 等). 加法路径阐述完整: 在自然数 $\mathbb{N}$ 上加法 forward 闭合, 但减法可能跨出 $\mathbb{N}$ ($3-5$ 不在 $\mathbb{N}$ 内). 为让减法 forward-reverse 都闭合, 阐述出负数, 阐述空间从 $\mathbb{N}$ 扩展到 $\mathbb{Z}$.

加法路径在 $\mathbb{Z}$ 上完整闭合 — 加 / 减 / forward / reverse 都在 $\mathbb{Z}$ 内闭合. 构 = $\mathbb{Z}$, 阐述出整数环结构.

闭合留下多类型余项. 此处余项不是单一余项, 而是多类型并存的余项账本.

类型 i: 除法不闭合余项. $\mathbb{Z}$ 内 $1 \div 3$ 不阐述出 $\mathbb{Z}$ 内 token. 此余项不是逻辑性的 (在 $\mathbb{Z}$ 内逻辑上 $1 \div 3$ 没有 $\mathbb{Z}$ 解), 而是跨阐述类型的余项: 它要求阐述新的运算 (除法), 而新运算的闭合不能在加法路径内完成. 此余项迫使主步骤 3 (乘法路径) 阐述. 加法路径在自身阐述空间内闭合, 但跨向乘法路径的余项已经在加法路径内涌现.

类型 ii: 无限累积余项. 加法路径闭合在 $\mathbb{Z}$, 而 $\mathbb{Z}$ 在经典数学构造视角下是无限集合. 主体作为有限存在, 实际阐述只能捕获 "任意指定的有限 $n$ 都可阐述为 $\pm n \in \mathbb{Z}$" 这件 potential infinity 阐述. 但 "$\mathbb{Z}$ 整体作为已经完成的集合" 这件 actual infinity 阐述 不在 $L_1$ 加法路径阐述模式内被直接捕获.

此过渡 (potential → actual infinity) 是 $L_1$ 加法路径留下的余项. 它在经典数学构造视角下被 ZFC 集合论以扩张闭合方式阐述出 actual infinity ($\mathbb{Z}$ 作为完成集合, 基数 $\aleph_0$). 但 ZFC 阐述这件 actual infinity 也留下它自身的余项 (详后续相关论文). 此余项不在本文范围内深入阐述; 本文仅 mark 它的存在作为加法路径 saturated 后的 multi-type 余项之一.

两类余项各自迫使不同方向的后续阐述. 类型 i 余项迫使主步骤 3 (乘法路径) 在本文范围内自然展开. 类型 ii 余项迫使后续阐述模式 (具体形式不预设, 可能含集合论概念在量 trajectory 内的引入, 或跨 trajectory 阐述 connection), 不在本文范围内具体阐述.

4.3 ZFCρ 作为加法路径的默认实现

加法路径在具体数学形式化内的默认实现是 ZFCρ. ZFCρ (秦汉系列 in progress) 阐述 ZFC 集合论的外延闭合留下的具体余项 ρ, 作为 Via Rho 在量 trajectory 加法路径形式化层级的 mathematical carrier.

ZFCρ 与量 trajectory 的关系需明确阐述. ZFCρ 不是集合学系列 (即标记把手为 "集合"、走集合 trajectory 的系列) 的论文, 而是量 trajectory 内 paper 选用集合论 vocabulary 作 formalization carrier 的实例. 具体而言:

• ZFCρ 阐述的实质内容是量 trajectory 加法路径内容 (加法运算、整数集合、N 进制绑定等), 不是集合 trajectory 内集合概念自身的实质内容
• ZFCρ 选用 ZFC + ρ 作 formalization carrier (set-theoretic vocabulary); 此 carrier choice 是 formalization tool 选择, 不决定 trajectory
• 量 trajectory 加法路径的实质内容可由不同 formalization carrier 阐述 (Peano arithmetic, ZFC + ρ, type theory 等); ZFCρ 是默认 choice, 不是唯一

ZFCρ formalization carrier 的跨 layer 特征. ZFC 公理系统通过公理化阐述把跨多个 SAE layer 内容统一在同一 set-theoretic 框架内. 这件含 axiom of infinity (阐述 actual infinity, 跨量 trajectory $L_1$ 加法路径实质内容), axiom of power set (阐述 uncountable cardinality, 跨多 layer 内容), axiom of choice (含跨 formal definability layer 内容), axiom of replacement (阐述 large cardinals 等跨多 layer 内容). ZFCρ 作量 trajectory 加法路径 carrier 时, 这些跨 $L_1$ axioms 在 ZFCρ formalization 内阐述 $L_1$ 余项迫使出的内容, 但不改变 $L_1$ proper 实质内容自身.

具体: § 4.2.4 阐述 actual infinity 是量 trajectory $L_1$ 加法路径余项. ZFCρ formalization 通过 axiom of infinity 在同 formalization carrier 内阐述 actual infinity, 但这件阐述是 ZFCρ formalization 跨 $L_1$ 多 layer 性质的体现, 不是 $L_1$ 阐述模式自身的实质内容. 因此 § 4.2.4 阐述 (actual infinity 是 $L_1$ 余项) 跟 § 4.3 阐述 (ZFCρ formalization 含 axiom of infinity) 不冲突, 各 layer 不同, 互相 coherent.

经典数学构造的实质成就 (per § 2.3) 含此跨 layer collapse — ZFC 在 single formalization 框架内统一阐述跨多 SAE layer 内容. 这件在数学社群实践上是 high productivity 的 source. 但从 SAE 阐述运作视角看, 这件 collapse 也意味数学社群在 ZFC 内 working 时不自然阐述跨 layer 区分. ZFCρ 阐述这件 collapse 跟 SAE 视角关系, 具体技术内容 (含 ZFC 外延闭合留下的具体余项 ρ, ZFCρ 在长 trajectory 上的 dynamics 等) 留给 ZFCρ 系列后续论文阐述.

加法路径的实质内容 — "比 1 多" 正向方向、累加 forward iteration、符号膨胀余项、N 进制 positional 绑定、反向追问出减法、$\mathbb{Z}$ 闭合、多类型余项 — 在任何合法实现下都成立. 本文阐述加法路径在此抽象层级, 不依赖具体形式化.

4.4 主体 Via Negativa 在加法路径内的绑定实例化

主体 Via Negativa 在加法路径内多处具体实现, 都通过绑定阐述运作呈现.

第一处: 内层步骤 2 到内层步骤 3. 符号膨胀余项迫使 N 进制 positional 绑定阐述. 主体作为有限存在面对累积阐述, 通过 Via Negativa 拒绝阐述代价不可持续 (符号无限膨胀). 此拒绝在加法路径 context 内 take 的具体 form 是 N 进制绑定阐述运作的引入. N 进制绑定运作产生不可分割两面 (per § 4.2.3 阐述): processing capacity (任整数紧凑阐述) + 余项 (跨位阐述受 positional 规则限制).

第二处: 内层步骤 4 反向追问. 单 forward iteration 留下 reverse 方向不闭合余项. 主体通过 Via Negativa 拒绝阐述停在单一 forward 方向 (此拒绝亦是 Via Negativa 不接受阐述作终结的具体形式), 阐述出反向追问, 引入减法. 反向追问阐述运作产生不可分割两面: processing capacity (减法阐述, forward-reverse symmetry, $\mathbb{Z}$ 阐述空间) + 余项 (减法 reverse 在 $\mathbb{N}$ 内不闭合迫使 $\mathbb{N} \to \mathbb{Z}$ 扩展).

第三处: 主步骤 2 到主步骤 3. 加法路径闭合在 $\mathbb{Z}$ 后, 多次重复加法累积 (例如 $5+5+5+5+5$) 阐述代价高. 主体通过 Via Negativa 拒绝此阐述代价不可持续, 阐述出乘法作为重复加法的绑定工具. 此过渡在主步骤 3 阐述, 但迫使此过渡的余项已在主步骤 2 内涌现. 乘法绑定运作产生不可分割两面 (详 § 5 阐述).

加法路径的逻辑闭合不是问题 (加法路径在 $\mathbb{Z}$ 上是真闭合, 加 / 减都在 $\mathbb{Z}$ 内闭合). 主步骤 2 到主步骤 3 的过渡不是 logical necessity, 是Via Negativa 在阐述代价上 take 的具体 form. 主体作为有限存在面对越来越大的累积阐述任务, 通过 Via Negativa 反复拒绝阐述代价不可持续, 在每一个阐述代价代价高的节点上阐述出新的绑定阐述运作. 加法路径内多处具体实现这件模式.

Via Negativa 本体与绑定实例化的区分. Via Negativa 本体是主体对任何具体阐述作终结的拒绝, 此本体不预设代价 criterion, 也不预设 value criterion. 在主体面对累积阐述任务的具体 context 内, Via Negativa 自然实例化为对阐述代价不可持续的拒绝, 此拒绝在阐述 context 内 take 的具体 form 是绑定阐述运作的引入. 此实例化是 Via Negativa 在阐述 context 内的具体 form, 不是 Via Negativa 自身的定义.

此区分对 SAE-internal doctrine coherence 重要. 不能把 SAE 视角误读为 utilitarian 效率优化框架 — SAE 不主张 "绑定阐述出 processing capacity 是好处" 也不主张 "绑定阐述出余项是代价". 绑定阐述运作的两面是 Via Rho 非对称互因公式的具体实例化, 不是价值判断.

此阐述是 SAE 解释层 (per § 1.3 第五条贡献). 绑定实例化在加法路径内的具体实现是 SAE 视角对 "为什么主体阐述出 N 进制 / 减法 / 乘法" 这些过渡的解释. 此阐述不是经典数学构造层级的逻辑推导 (经典数学构造可以独立于此 SAE 解释阐述加法路径的实质内容), 而是 SAE 视角对主体 Via Negativa 在阐述过程中具体实现的阐述.

主体阐述代价跟主体阐述资源的具体关系是开放问题. 本文不阐述具体的代价度量或资源模型, 仅阐述 Via Rho 在绑定处的实例化作为 SAE 解释层的实质内容. 详细的代价 / 资源关系留给后续 SAE 方法论论文阐述. 此绑定实例化阐述跟 § 1.3 第五条贡献阐述的 Via Negativa 作 SAE 解释层 (不是数学定义层) 一致, § 5.2.3 阐述的 power notation 绑定实例化跟此处阐述模式一致, 都是 Via Rho 在绑定处的具体实现.

5. 主步骤 3: 乘法路径

5.1 主步骤 3 与 inevitability 3 的关系

主步骤 3 阐述乘法路径的实质内容, 与 inevitability 3 (比较不能保持孤立, 它传播; 不得不更多发展) 对位: 加法路径阐述之后, 发展走向阐述重复加法的更高阶, 通过 (计数, 单位) 绑定阐述为乘法路径.

主步骤 2 内层步骤 4 留下的余项含跨阐述类型的代价: 多次重复加法累积 ($3+3+3+3+3$, $5+5+5+5+5+5$ 等) 的阐述代价不可持续. 主体作为有限存在, 通过 Via Negativa 不接受此阐述代价不可持续, 阐述出新的绑定阐述运作回应此余项. 此回应是乘法的引入, 主步骤 3 在此基础上展开.

跟主步骤 2 一样, 主步骤 3 内部的 sub-articulation 是层内分形性质. 整个过程在 $L_1$ 内展开, 各内层步骤都在 $L_1$ 内, 不涉及跨层过渡. 但主步骤 3 内层步骤 4 含嵌套级联 (nested cascade) 结构, 让乘法路径的 sub-articulation 在内部深度上比主步骤 2 略深一档. 本文 § 5.3 详细阐述此 asymmetry 的实质意义, 含实闭域 vs 代数闭域的实质区分.

5.2 主步骤 3 sub-articulation: 层内分形类

主步骤 3 内部的 sub-articulation 含四个内层步骤. 内层步骤 1 至 3 跟主步骤 2 在结构形式上对应, 内容随阐述上下文变化. 内层步骤 4 含嵌套级联, 是主步骤 3 sub-articulation 的实质重点.

5.2.1 内层步骤 1: 重复加法代价余项迫使 "×" 的阐述

主步骤 2 内多次重复加法累积阐述代价高 (per § 4.4 第三处). 主体不接受这件阐述代价, 通过 Via Negativa 拒绝 "为每一次重复加法各阐述独立 expansion" 这件阐述方式, 阐述出 "×" 作为 sub-mark.

"×" 是乘法路径的内层标记. 它阐述 "重复加法的紧凑阐述": $3 \times 5$ 阐述 "$5$ 重复 $3$ 次" 这件累加, 不展开为 $5+5+5$. 此阐述含两件实质内容:

第一, (计数, 单位) 绑定. "×" 引入后, $a \times b$ 阐述含计数 (重复多少次) 跟单位 (每次重复什么) 两件绑定信息. 此绑定是新的阐述结构, 不在加法路径内自然涌现.

第二, commutativity 的涌现. $3 \times 5$ 跟 $5 \times 3$ 在 (计数, 单位) 绑定结构下阐述出相同精确量, 但阐述视角不同 — 前者把 $5$ 视为单位, $3$ 视为计数; 后者把 $3$ 视为单位, $5$ 视为计数. commutativity 不是公理, 而是 (计数, 单位) 绑定中两件信息可互换性的阐述结果.

此内层步骤是层内 mark — 它在 $L_1$ 内引入新 sub-token ("×"), 此 sub-token 让后续 sub-articulation 在乘法路径内展开.

5.2.2 内层步骤 2: 乘法迭代, 重复乘法代价余项

"×" 阐述后, 乘法迭代展开: $a \times 1, a \times 2, a \times 3, \ldots$ 持续阐述. 此 forward 方向 iteration 跟加法路径内 $1+1, 1+1+1, \ldots$ 的累加形式对应, 但实质内容不同 — 乘法迭代每一次阐述出 $a$ 的整数倍, 不是 $a$ 加一次.

但乘法迭代过程留下余项. 当阐述 $a \times a \times a \times \cdots$ (重复 $k$ 次) 时, 阐述代价又增高 — 跟主步骤 2 内符号膨胀余项形式类似, 但实质内容不同. 此处的余项不是符号膨胀 (符号已经通过 N 进制阐述紧凑), 而是重复乘法 expansion 阐述代价: 当 $k$ 增大时, $a \times a \times a \times \ldots$ ($k$ 次) 的阐述长度线性增长, 不可持续.

主体作为有限存在, 通过 Via Negativa 拒绝此阐述代价不可持续, 在内层步骤 3 处阐述出回应工具.

5.2.3 内层步骤 3: Power notation 跨乘法绑定 (cross-multiplications binding)

为让重复乘法可阐述紧凑, 主体阐述出 power notation $a^k$. 已阐述的两个 token ($a$ 作单位, $k$ 作重复次数) 通过 power notation compose 阐述出 $a \times a \times \cdots \times a$ ($k$ 次). $a^3$ 不必展开为 $a \times a \times a$, $a^{100}$ 不必展开为 100 次乘法.

Power notation 是 跨乘法绑定 (cross-multiplications binding). 它跨越多次重复乘法的累积, 把累积内容压缩为 (base, exponent) 两件 token 的绑定. 跟 N 进制绑定一样, power notation 绑定也是 Via Rho 在绑定处的具体实例化 — 绑定阐述运作产生不可分割两面:

• 一面是绑定阐述出的 processing capacity (重复乘法可由 base + exponent 两 token 紧凑阐述, $a^{100}$ 不展开为 100 次乘法)
• 另一面是绑定阐述出的余项 (跨重复乘法阐述受 power notation 规则限制, 不能在绑定内部自由展开每一次重复乘法; 跨 base 跨 exponent 的运算关系 ($a^m \times a^n = a^{m+n}$, $(a^m)^n = a^{mn}$ 等) 阐述出新约束)

两面都是绑定运作产生的实质内容, 不阐述价值判断.

Power notation 也阐述出新的运算关系: $(a^m) \times (a^n) = a^{m+n}$, $(a^m)^n = a^{mn}$, 等. 这些关系不是公理, 而是 跨乘法绑定 (cross-multiplications binding)阐述出的自然 consequence. 它们也是后续阐述对数运算的入口, 但对数运算的具体阐述在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 闭合后才可能 (因为对数运算的 codomain 含超越数, 跨出 $L_1$ 范围), 不在本文阐述.

跟 N 进制 跨位绑定 (cross-digit-position binding)在 跨某种绑定模式上对应, 但绑定的具体维度不同. cross-digit-position 让加法累积紧凑; cross-multiplications 让乘法累积紧凑. 两件绑定都让阐述紧凑, 但作用层次不同.

5.2.4 内层步骤 4: 嵌套级联反向追问, $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 闭合

主步骤 3 闭合通过追问实现. 追问的具体 form 在乘法路径上下文内自然 take 反向追问 form, 但与主步骤 2 不同, 此处反向追问不是单一一次, 而是嵌套级联: 第一次反向追问产生新阐述空间, 此空间内仍有不闭合余项, 进一步反向追问产生第二层级阐述空间. 两层级追问构成嵌套级联结构.

第一层级反向追问: 乘法可以反过来吗?

回答是可以, 阐述出除法. 除法 ($a \div b$) 阐述为乘法的 reverse 方向: 若 $a \times b = c$, 则 $c \div b = a$. 除法跟乘法形成 forward-reverse 方向绑定.

除法引入后, $\mathbb{Z}$ 内乘法 forward 闭合, 但除法 reverse 不在 $\mathbb{Z}$ 内闭合 ($1 \div 3$ 不在 $\mathbb{Z}$ 内). 为让除法 reverse 闭合, 阐述出分数, 阐述空间从 $\mathbb{Z}$ 扩展到 $\mathbb{Q}$ (有理数). $\mathbb{Q}$ 内乘 / 除 forward-reverse 全闭合, 阐述出有理数域结构.

但第一层级闭合在 $\mathbb{Q}$ 后, 第二层级问题暴露: power notation 的反向运算在 $\mathbb{Q}$ 内不闭合.

第二层级反向追问: power 可以反过来吗?

回答是可以, 阐述出开方与多项式求根. $x^2 = 2$ 的解 ($\sqrt{2}$) 是 $\mathbb{Q}$ 内某 polynomial 的根, 但 $\sqrt{2}$ 自身不在 $\mathbb{Q}$ 内 (Pythagoras 学派的发现 — $\sqrt{2}$ 是无理数). 为让 polynomial 求根 reverse 闭合, 阐述出实代数数, 阐述空间从 $\mathbb{Q}$ 扩展到 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ (实代数数全体).

关于阐述工具的精化. 第二层级反向追问引入的工具不仅是开方 (radicals). 五次及以上多项式的实根一般不能由四则运算加 radicals 具体构造 (Abel-Ruffini 定理), 但仍可作为整系数多项式的实根被代数定义. 因此 $L_1$ 阐述工具的核心范围不是 "由 radicals 具体构造", 而是 finite polynomial constraints over $\mathbb{Q}$ — 任由 $\mathbb{Q}$ 上有限多项式约束 (具体形式可含 radicals 或隐式 polynomial 关系) 阐述出的实根都在 $L_1$ 范围内. Radicals 是 $L_1$ 工具的常见实例, 但不限于此.

$\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 作为实闭域. $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 在数学结构上是 实闭域 (real closed field). 它的实质性质含:

• 对四则运算闭合 (加、减、乘、除)
• 对正实数开平方闭合 (任意正实代数数的平方根仍是实代数数)
• 每个奇次多项式 (系数在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 内) 有实根
• 每个 real algebraic 多项式方程的所有实根仍在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 内

但 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 不是 algebraically closed field (代数闭域). 代数闭域要求每个非常数多项式都有根, 含非实代数根. 例如 $x^2 + 1 = 0$ 的根 $i = \sqrt{-1}$ 是某 $\mathbb{Z}[x]$ polynomial 的根, 但 $i$ 不在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 内 — 它是基底外余项 (详 § 6 阐述). 代数闭域 $\overline{\mathbb{Q}}$ (有理数代数闭包) 严格 contains $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 作为子结构, 并含跨实数轴的代数 token (含 $i = \sqrt{-1}$, $\sqrt{-2}$, primitive roots of unity 等). $\overline{\mathbb{Q}}$ 作为 $\mathbb{R}$-vector space 同构于 $\mathbb{Q}^{\rm alg}_{\mathbb{R}} + i \cdot \mathbb{Q}^{\rm alg}_{\mathbb{R}}$, 但作为 algebraic 结构 $\overline{\mathbb{Q}}$ 内 algebraic relations 跨越 real / imaginary parts, 不能 cleanly split.

实闭域 vs 代数闭域的实质区分跟 SAE $L_1$ 阐述模式 boundary 的对应: 主步骤 3 乘法路径闭合在实闭域, 因为乘法路径阐述工具在量维度基底 ($\mathbb{R}$) 内 sub-substrate上阐述, 不跨出实数轴. 代数闭域含跨实数轴的根 ($i$ 等), 跨主步骤 3 闭合范围, 是基底外余项, 迫使后续 layer 主轴复化阐述. 此区分是 $L_1$ 阐述模式 boundary 的关键标识 — $L_1$ 闭合在实闭域, 跨实闭域的代数 token (含 $i$ 等) 在 SAE 视角下属后续 layer 阐述内容, 不在 $L_1$ 内.

主步骤 3 在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 上闭合 — 乘 / 除 / power / 实代数 polynomial 求根都在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 内闭合. 构 = $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$.

闭合留下余项. 此处余项再次是多类型并存的余项账本:

第一, 非实代数根余项 ($x^2 + 1 = 0$ 的根 $i$ 类): 多项式求根 reverse 在实数轴内不能闭合 — 部分多项式 (例如 $x^2 + 1$) 在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 内无根. 此余项不能在乘法路径内通过引入更多 sub-articulation 解决 (因为 reverse 方向在实数轴内已穷尽), 是跨阐述类型的余项.

第二, 超越数余项 ($\pi, e$ 等): 超越数在量维度基底 $\mathbb{R}$ 内, 但不是任何 $\mathbb{Z}[x]$ polynomial 的根, 不在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 内. 此余项也是 $L_1$ 阐述模式不捕获的, 但跟 $i$ 类余项不同 type — $\pi, e$ 在量维度基底内, $i$ 跨出量维度基底.

第三, 不可计算 / 不可定义余项: 实数轴内大部分点不能由有限 algorithm 计算或有限 formula 定义. 在 $L_1$ 有限代数阐述模式下完全不捕获.

这三类余项的具体分类跟跨 layer / 横向分支驱动结构在 § 6 (主步骤 4) 详细阐述. 此处仅阐述它们的存在作为乘法路径闭合产生的余项账本.

5.3 乘法路径 sub-fractal depth asymmetry 与实闭域 vs 代数闭域的实质区分

主步骤 3 sub-articulation 内层步骤 4 含嵌套级联 (除法 → $\mathbb{Q}$, 开方 / 多项式求根 → $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$). 此嵌套让乘法路径 sub-fractal 在内层步骤 4 处比主步骤 2 sub-fractal 同位置略深一档.

主步骤 2 内层步骤 4 单一反向追问 (加法 → 减法) + $\mathbb{Z}$ 闭合 + 多类型余项. 主步骤 3 内层步骤 4 双层级反向追问 (乘法 → 除法 → $\mathbb{Q}$; power → 开方 / 多项式求根 → $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$) + 实闭域闭合 + 多类型余项.

此 sub-fractal depth asymmetry 不是阐述 artifact, 而是实质真实. 它跟一件实质数学事实对应: 完整精确化路径内代数阐述的最大实质内容在乘法路径内涌现. 代数闭包阐述、域扩张、polynomial 求根理论等都在乘法路径内自然展开. 乘法路径携带比加法路径多的代数实质内容, sub-articulation 也相应展开更深的层级.

具体而言, 实闭域 vs 代数闭域的区分是此实质真实的 sharp 标识. 实闭域 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 是主步骤 3 在实数轴 sub-substrate上的闭合 — 它含所有有限多项式约束阐述出的实根, 但不含跨实数轴的代数 token (含 $i$ 等). 代数闭域 $\overline{\mathbb{Q}}$ (有理数代数闭包) 严格 contains $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 作为子结构, 并含跨实数轴的代数 token ($i, \sqrt{-2}$, primitive roots of unity 等); $\overline{\mathbb{Q}}$ 作 $\mathbb{R}$-vector space 同构于 $\mathbb{Q}^{\rm alg}_{\mathbb{R}} + i \cdot \mathbb{Q}^{\rm alg}_{\mathbb{R}}$, 但作 algebraic 结构 $\overline{\mathbb{Q}}$ 内 algebraic relations 跨越 real / imaginary parts (跟 § 5.2.4 阐述一致).

主步骤 3 闭合在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 而非 $\overline{\mathbb{Q}}$ 的实质理由: 主步骤 3 阐述工具在量维度基底 ($\mathbb{R}$) 上, 跨出 $\mathbb{R}$ 的代数 token (含 $i$) 不在主步骤 3 阐述范围内. $i$ 作为 $\mathbb{R}$ 外代数余项迫使后续 layer 主轴复化阐述 (阐述 $\mathbb{C}$ 平面, 引入虚轴作为正交方向). 主步骤 3 闭合的 boundary 是基底 boundary, 不是代数 token 边界.

此区分在 SAE 视角下的实质含义: 乘法路径 sub-fractal 深度比加法路径深, 不只是实质 math 内容多的 reflection, 也阐述出实数轴 sub-substrate的 algebraic 闭合 ($\mathbb{Q}^{\rm alg}_{\mathbb{R}}$) 跟全部代数闭包 ($\overline{\mathbb{Q}}$) 之间的实质 gap. 此 gap 是 $L_1$ 阐述模式与后续 layer (复化阐述模式) 之间的实质 boundary, 不是阐述 depth 的 quantitative 差异.

跟 Methodology 6: Phase-Transition Windows (DOI: 10.5281/zenodo.19464507) 阐述的 $r \approx 5$ 拓扑不对称在模式上一致 — 四步并不均匀, 中间步骤 (主步骤 2 与 3) 撑开阐述空间, 末步骤 (主步骤 4) 收口. 乘法路径在中间步骤位置上撑得更开, 跟它携带的代数实质内容 (含跨实数轴的代数 token 边界) 相称.

跟主步骤 2 绑定实例化一致模式, 主步骤 3 内的多处 sub-articulation 过渡也是主体 Via Negativa 通过绑定阐述运作的实例:

• 重复加法代价余项迫使 "×" 引入: Via Negativa 拒绝阐述代价不可持续, 引入 (计数, 单位) 绑定
• 重复乘法代价余项迫使 power notation: Via Negativa 拒绝阐述代价不可持续, 引入 跨乘法绑定 (cross-multiplications binding)
• 第一层级反向追问迫使 $\mathbb{Q}$ 阐述: Via Negativa 拒绝阐述停在单一 forward 方向, 阐述出乘 / 除 forward-reverse 绑定的两面
• 第二层级反向追问迫使 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 阐述: Via Negativa 拒绝阐述停在单一 forward 方向, 阐述出 power / 开方 forward-reverse 绑定的两面

每一处过渡都不是 logical necessity, 都是主体作为有限存在通过 Via Negativa 在阐述 context 内 take 的具体 form, 阐述运作产生绑定跟它的不可分割两面 (processing capacity + 余项), 不阐述价值判断.

乘法路径的实质内容 — 重复加法的紧凑阐述、(计数, 单位) 绑定、commutativity 涌现、power notation 跨乘法绑定 (cross-multiplications binding)、嵌套级联反向追问、$\mathbb{Q}$ 跟 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 闭合、实闭域 vs 代数闭域区分 — 都在 $L_1$ 有限代数阐述模式内自然涌现, 不依赖于具体形式化的选择. 经典数学构造层级跟 SAE 阐述运作层级在乘法路径内各自有合法阐述: 经典数学构造阐述 $\mathbb{Q}$ 作为分数域, $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 作为实闭域的内部构造; SAE 阐述运作阐述这些 token 在主体 Via Negativa 通过绑定阐述运作自然涌现的过程. 两层级各自合法, 不冲突.

6. 主步骤 4: 闭合与余项账本

6.1 主步骤 4 与 inevitability 4 的关系

主步骤 4 阐述 $L_1$ 阐述模式自身的闭合与余项账本, 与 inevitability 4 (不得不被追问) 对位: 阐述模式全部部署之后, 追问转向阐述模式自身是否完整, 闭合产生构与余项账本.

主步骤 4 在结构性质上跟主步骤 1、2、3 不同. 主步骤 1 阐述跨层阈口过渡 (从 $L_0$ 跨入 $L_1$). 主步骤 2、3 阐述 $L_1$ 内层内分形展开 (加法路径、乘法路径). 主步骤 4 阐述 $L_1$ 阐述模式整体的元层级闭合 — 它不再阐述 $L_1$ 内的新具体阐述工具, 而是回过头追问 $L_1$ 阐述模式自身的边界、构、余项.

此结构性差异让主步骤 4 内的 sub-articulation 不再遵循主步骤 2、3 的四步层内分形模式. 主步骤 4 sub-articulation 是余项账本结构 (remainder ledger structure), 不是四步分形循环. 此区分在 § 8 综合阐述登记纪律时进一步阐述. 本节按主步骤 4 sub-articulation 自身的实质内容组织: § 6.2 阐述饱和事件与 Via Rho 非对称互因, § 6.3 阐述余项账本的多类型, § 6.4 阐述跨 layer / 横向分支的驱动结构.

6.2 饱和事件与方法论 00 非对称互因

主步骤 4 的 sub-articulation 起点是 饱和事件 (saturation event). 主步骤 3 内层步骤 4 阐述闭合在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, 此闭合事件不仅产生构 ($\mathbb{Q}^{\rm alg}_{\mathbb{R}}$), 还产生 $L_1$ 阐述模式整体饱和这件元层级事件. 饱和事件是主步骤 4 阐述的入口.

饱和事件的形式化结构在 Methodology 00: Via Rho (DOI: 10.5281/zenodo.19657440) 中阐述. 方法论 00 § 4.5 给出非对称互因 (asymmetric mutual causation) 的精化公式:

$$\mathcal{N} \xrightarrow{\text{op}_i} (C_i, \rho_i) \xrightarrow{\rho_i \text{ 驱动}} \mathcal{N} \xrightarrow{\text{op}_{i+1}} (C_{i+1}, \rho_{i+1})$$

其中 $\mathcal{N}$ 是 Via Negativa (作主体执行的拒绝运作), $C_i$ 是第 $i$ 次运作产生的构, $\rho_i$ 是该运作留下的余项. 公式的实质内容: 构跟余项是同一次运作的两面 (不可分割 in operation), 但驱动后续运作的不是构, 而是余项. 构是运作完成的产物; 余项是运作未完成部分的标记, 是后续运作的入口.

主步骤 4 在 $L_1$ 量维度内具体化此精化公式:

$$\mathcal{N} \xrightarrow{\text{op}_{L_1}} (\mathbb{Q}^{\rm alg}_{\mathbb{R}}, \rho_{L_1}) \xrightarrow{\rho_{L_1} \text{ 驱动}} \text{后续阐述模式}$$

其中:

• $\text{op}_{L_1}$ 是 $L_1$ 阐述模式整体作为单一运作的具体内容 (含主步骤 1 至 3 全部 sub-articulation)
• $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 是 $L_1$ 运作产生的构 (实闭域, 主步骤 3 内层步骤 4 闭合的产物)
• $\rho_{L_1}$ 是 $L_1$ 运作产生的余项账本 (本节 § 6.3 详细阐述)
• 后续阐述模式由 $\rho_{L_1}$ 驱动涌现 (本节 § 6.4 阐述驱动结构)

构跟余项的非对称互因关系在 $L_1$ 内具体内容: $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ (实闭域) 是 $L_1$ 阐述模式完成的产物 — 它阐述出有限代数阐述模式所能捕获的全部精确量. 但 $\rho_{L_1}$ 是 $L_1$ 阐述模式未完成部分的标记 — 它阐述出 $L_1$ 模式不捕获的内容. 两者不可分割: 没有 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 这件闭合, 余项无法成立 (余项是 "闭合后未捕获" 的标记); 没有 $\rho_{L_1}$ 这件余项, 闭合也不真闭合 (在 SAE 阐述运作视角下, 任何闭合都留余项, "无余项的闭合" 不成立).

驱动后续 op 的不是 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$. 实闭域作为已完成的构, 它自身不驱动后续阐述 — 它 "已经在那里", 是阐述模式完成的产物. 驱动后续阐述的是 $\rho_{L_1}$ — 余项作为未完成标记, 迫使主体阐述出新的阐述模式来捕获一部分余项. 此迫使是后续 layer (或横向分支) 涌现的实质动力.

此非对称互因关系也是 SAE 余项 doctrine 的核心. Anchor B (余项不可消除) 在主步骤 4 具体实例: $L_1$ 阐述模式饱和后, 余项不能通过 $L_1$ 内的进一步阐述消除 ($L_1$ 已经穷尽它能捕获的内容); 余项只能通过引入新阐述模式部分捕获, 而新阐述模式仍留它自身余项. 余项作为数学发展源动力的实质内容在主步骤 4 此处具体化.

6.3 余项账本的多类型阐述

6.3.1 回看视角的承认

主步骤 4 sub-articulation 阐述余项账本时, 需要先明确一件认识论性质. 此余项账本使用的分类工具 (基底内余项 vs 基底外余项, 方程式余项 vs 赋值选择余项, 等) 借助后续 layer 阐述工具来组织 $L_1$ 余项视角. $L_1$ 内部阐述工具自身不区分这些 ontology 类型.

具体: 在 $L_1$ 有限代数阐述模式下, $\pi$ (超越数) 跟 $i$ (非实代数根) 同样阐述为 "超出有限代数阐述工具范围" — $L_1$ 工具不区分它们的 ontology 类型. $\pi$ 不满足任何 $\mathbb{Z}[x]$ polynomial 这件性质需要超越数理论 ($L_2$ Cauchy 完备化 / 拓扑阐述模式或更后续) 才能阐述. $i$ 是某 $\mathbb{Z}[x]$ polynomial 的根但不在 $\mathbb{R}$ 内这件性质需要复化阐述模式 (后续 layer 主轨) 才能阐述. 这些区分都在 $L_1$ 饱和之后才可阐述.

但从 $L_1$ 饱和之后回看 (retrospective vantage), 可以阐述出 $L_1$ 余项的具体结构. 后续阐述模式涌现并捕获一部分余项, 这件涌现过程使主步骤 4 阐述者能回看 $L_1$ 余项, 把余项按不同后续阐述模式所捕获的内容进行分类. 此回看视角阐述是合法的, 但需要明确承认它是回看视角, 不是 $L_1$ 内部直接阐述.

此承认是 SAE 阐述运作的诚实承认 (诚实承认). $L_1$ 自身阐述工具有它的边界; 跨边界的阐述需要借助后续 layer 工具. 不承认此回看视角, 把分类视为 $L_1$ 内部直接阐述, 会让阐述失去诚实. 承认此回看视角, 阐述仍可进行, 但每一次分类都伴随认识论标记.

6.3.2 基底内余项账本

基底内余项 (基底内 remainder) 是在量维度基底 (实数轴 $\mathbb{R}$) 内的对象, 但 $L_1$ 有限代数阐述工具不捕获. 从回看视角看, 基底内余项含三类具体类型, 形成嵌套结构.

超越数余项 ($\pi, e, e^\pi, \ln 2, \ldots$): 实数, 但不满足任何 $\mathbb{Z}[x]$ polynomial. 它们在 $\mathbb{R}$ 内, 但不在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 内. 后续 effective Cauchy 阐述模式 (per § 7.2) 捕获它们的一部分 (即可计算超越数), 留下不可计算超越数继续作余项.

不可计算数余项 (Chaitin's $\Omega$ 类等): 实数, 由某 logical formula 唯一定义, 但不由任何 algorithm 任意精度可计算. 它们在 $\mathbb{R}$ 内, 但既不在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 内 (它们一般是超越的), 也不被 effective Cauchy 阐述模式捕获 (Cauchy 序列的极限点不是任意精度可计算的). 后续 formal / definability 阐述模式捕获它们的一部分 (即可定义不可计算数), 留下不可定义数继续作余项.

不可定义数余项: 实数, 不由任何 finite formula in fixed formal language 定义. 在任何 countable formal language 下, 实数轴上几乎所有点是不可定义的 (cardinality 论证: 实数轴基数 $2^{\aleph_0}$, 任何 countable formal language 内 formulas 总数最多 $\aleph_0$, 所以不可定义数构成全体实数的 "几乎所有"). 此余项不被任何 countable formal language 阐述工具捕获.

三类基底内余项形成嵌套结构. 为提高 readability, 以下 table 显式阐述嵌套结构与各阐述模式捕获范围之间的对应:

阐述模式	捕获范围	留下余项
$L_1$ 有限代数阐述	$\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ (实代数数)	超越数 ⊋ 不可计算数 ⊋ 不可定义数
后续 effective Cauchy 阐述	可计算实数 (实代数数加可计算超越数, 如 $\pi, e$)	不可计算数 ⊋ 不可定义数
后续 formal definability 阐述	可定义实数 (可计算实数加可定义不可计算数, 如 Chaitin's $\Omega$)	不可定义数 (跨任何 countable formal language 阐述模式都不捕获, 永久余项)

关于不可定义性的技术限定. "不可定义" 的精确含义需要明确技术限定: 不可定义指相对于固定可数形式语言、且不允许任意实数参数的不可定义性. 若允许任意实数作 parameter, 每个实数都可由公式 $x = a$ "定义", definability 概念 trivialize. 本文阐述的不可定义性是 standard 数学逻辑意义下的 parameter-free definability — 在任何固定 countable formal language 下, 实数轴上几乎所有点是这件不可定义性意义下的不可定义数.

此余项作为永久余项的实质内容值得明确阐述. SAE Anchor B (余项不可消除) 在不可定义数余项处达到最强实例: 不可定义数不仅是 "某个具体阐述模式不捕获", 而是 "任何 countable formal language 阐述模式都不捕获" (在 parameter-free definability 意义下). 此余项是基底内余项的极致, 是 SAE 阐述运作视角下的永久未捕获内容.

6.3.3 基底外余项账本: 两类型区分

基底外余项 (基底外 remainder) 不在量维度基底 (实数轴 $\mathbb{R}$) 内. 这些余项迫使阐述跨出实数轴基底, 进入新的阐述方向. 基底外余项含两个不同 ontology 的类型, 各自不同驱动方向.

为明确两类型的实质区分, 以下 table 显式阐述:

余项	类型	跨出基底的方式	后续驱动方向
$i = \sqrt{-1}$	方程式余项 (equation remainder in ordered real-line 基底)	$x^2 + 1 = 0$ 在有序实数轴内无解, 迫使跨出实数轴引入虚轴	主轴复化 (complexification), 迫使 $\mathbb{C}$ 阐述 (后续 layer 主轨候选)
$p$-adic	赋值选择余项 (valuation choice remainder in $\mathbb{Q}$ 层级)	$\mathbb{Q}$ 上绝对值不唯一, Archimedean 与 $p$-adic 各自给出不同完备化	横向分支 (横向分支), 迫使 $\mathbb{Q}_p$ 阐述 (与主轨平行的非阿基米德完备化)

两类型的实质区分值得展开:

类型 α: 方程式余项 in ordered real-line 基底. $i = \sqrt{-1}$ 类. $x^2 + 1 = 0$ 这件方程在有序实数轴基底内无解 (因为任何实数的平方非负). 此余项不能在实数轴内通过引入更多 sub-articulation 解决 — reverse 方向 (开方) 已在主步骤 3 内引入, 但 $\sqrt{-1}$ 跨出实数轴, 不在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 内, 也不在 $\mathbb{R}$ 内.

类型 α 余项的实质内容: 它阐述出主轴复化 extension 方向 — 实数轴需要扩展为复数平面 $\mathbb{C} = \mathbb{R} + i \mathbb{R}$, 让 $i$ 阐述为新的正交方向. 此 extension 不是实数轴内部细化, 而是跨出实数轴, 进入新 ontology — 引入虚轴作为正交方向. 此 extension 迫使后续 layer 主轨的复化阐述模式涌现.

类型 α 余项是 $L_1$ 到后续 layer 主轨复化的核心迫使. 它跟 inevitability 4 (不得不被追问) 在主步骤 4 处的具体实现一致 — 追问 "$L_1$ 阐述模式自身是否完整" 时, 主体阐述出 $i$ 这件具体 token, 阐述出实数轴的不完整性, 迫使跨出实数轴.

类型 β: 赋值选择余项 in $\mathbb{Q}$ 层级. $p$-adic 类. 此类型余项不是在实数轴内的方程式不闭合, 而是 $\mathbb{Q}$ 在多个不同绝对值选择下产生多个不同完备化. 具体内容: 在 $\mathbb{Q}$ 上, 通常的 Archimedean 绝对值 $|\cdot|_\infty$ 给出 Cauchy 完备化阐述出 $\mathbb{R}$ 方向. 但 $\mathbb{Q}$ 上还有其他绝对值 — 对每个素数 $p$, 存在 $p$-adic 绝对值 $|\cdot|_p$, 它给出 $\mathbb{Q}$ 的另一种完备化, 阐述出 $\mathbb{Q}_p$ ($p$-adic 数). Ostrowski 定理阐述 $\mathbb{Q}$ 上 (非平凡) 绝对值仅有 Archimedean 与 $p$-adic (对各素数 $p$) 这些类型. 各 $p$-adic 完备化跟 Archimedean 完备化都是 $\mathbb{Q}$ 的合法完备化, 但完备化路径不同.

类型 β 余项的实质内容: 它不是 $L_1$ 到后续 layer 主轨延伸, 而是量维度完整精确化路径内的横向分支 (横向分支). 完整精确化路径内, 主轨沿 Archimedean 绝对值通过 Cauchy 完备化阐述实数轴 ($\mathbb{R}$ 方向); 横向分支沿 $p$-adic 绝对值通过完备化阐述 $\mathbb{Q}_p$ 等非阿基米德结构. 横向分支跟主轨平行, 不是后续 layer.

类型 β 余项的具体阐述 ($p$-adic 数论结构、$p$-adic 分析等) 留给后续非阿基米德专题论文阐述. 本文仅阐述类型 β 余项的存在跟它跟主轨的关系: 主轨阐述 Archimedean 方向 (后续阐述模式含复化与 effective Cauchy 阐述); 横向分支阐述非阿基米德方向 (横向 paper, 跟主轨平行).

关于 valuation 选择余项实质性质的开放问题: $p$-adic 余项作为 valuation 选择余项 — valuation 选择是阐述阶段问题 (主体选择哪种 valuation 作阐述 tool) 还是基底阶段问题 ($\mathbb{Q}$ 本身 carry multiple valuations 是基底 property) — 是开放问题. 列入 § 10.1 open questions, 详细阐述留 non-Archimedean 横向分支专题论文.

两类型基底外余项各自迫使不同的阐述 extension. 类型 α (方程式余项 $i$) 迫使后续 layer 主轨复化; 类型 β (赋值选择余项 $p$-adic) 迫使横向分支. 两类型的实质区分不是 $L_1$ 内部阐述工具能直接阐述的 (per § 6.3.1 回看视角承认), 而是从后续阐述模式涌现的视角回看才能阐述清楚.

6.4 跨 layer 与横向分支的驱动结构

主步骤 4 sub-articulation 末段阐述余项迫使后续阐述模式涌现的具体结构. 各余项迫使不同阐述模式, 但 mapping (哪余项 → 哪阐述模式 → 哪 layer 或横向分支) 不预设, 由后续 SAE 数学系列论文逐步阐述出.

按 § 6.3 余项账本分类, 驱动结构的具体候选 mapping 如下.

类型 α (方程式余项 $i$) → 后续 layer 主轨复化阐述模式. $i$ 作为方程式余项迫使跨出实数轴的复化 extension. 复化阐述模式捕获 $i$ 作为新阐述工具, 阐述出 $\mathbb{C}$ 平面, 进而阐述出 holomorphic structure (解析函数 / 留数 / 周期 / 单值化等). 此迫使是 $L_1$ 到 $L_2$ 主轨的核心. 主轴复化作为 $L_2$ 阐述模式跟 Paper 1 + SAE 数学奠基论文已稳定的 $L_2$ 阐述一致 ($L_2$ = complexification / holomorphic defect ledger, 含 $i, \hat\infty$, residue / period / monodromy / Stokes 等).

基底内可计算超越数余项 → effective Cauchy 阐述模式. 超越数中可计算的部分 ($\pi, e, \ln 2$ 等, 由有限 algorithm 任意精度可计算) 迫使 effective Cauchy 阐述模式涌现. 注意 effective Cauchy 阐述模式跟经典 Cauchy 完备化模式区分 (详 § 7.2 阐述). effective Cauchy 阐述模式捕获可计算实数 (含可计算超越数), 但仍留下不可计算数继续作余项. effective Cauchy 阐述是 $L_1$ 之后的一个分析性完备化分支 (post-$L_1$ articulation candidate); 是否作为 $L_2$ 主轨某 sub-articulation、$L_{1 \to 2}$ bridge, 或与复化主轨并行的 side-branch, 本文不预设, 留后续 layer paper 阐述.

基底内可定义不可计算余项 → formal / definability 阐述模式. 可定义但不可计算的实数 (Chaitin's $\Omega$ 类) 不被 effective Cauchy 阐述模式捕获, 但可由 formal logic / definability 阐述模式捕获 — 它们由 logical formula 唯一定义, 即使不可任意精度计算. 此阐述模式捕获可定义不可计算数, 但仍留下不可定义数继续作余项. formal definability 阐述模式作 post-$L_1$ articulation candidate, 具体 layer 归属不预设.

基底内不可定义余项 → 不被任何 countable formal language 阐述模式捕获. 此余项永久留余项, 迫使阐述视角整体反思 — 它阐述出 SAE 阐述运作的根本限制. 此余项的存在是 Anchor B (余项不可消除) 在量维度内的最强实例.

类型 β (赋值选择余项 $p$-adic) → 横向分支非阿基米德阐述模式. $p$-adic 余项迫使横向分支阐述, 不进入主轨后续 layer. 横向分支跟主轨平行发展, 各自有自己的 layer 结构 ($L_1^{\text{non-Arch}}, L_2^{\text{non-Arch}}, \ldots$). 横向分支的具体阐述留给后续非阿基米德专题论文, 在 SAE 数学系列内跟主轨平行存在.

整体上, $L_1$ 余项账本通过多种迫使驱动多种后续阐述模式涌现. 后续主轨阐述模式 ($L_2$ 复化 + 后续 layers) 捕获一部分余项, 留下其他余项继续迫使后续 layer 或永久留余项. effective Cauchy / formal definability 作 post-$L_1$ articulation candidate 各自具体在哪 layer 或 bridge 阐述留后续 layer paper. 横向分支阐述模式捕获另一部分余项, 沿不同路径 develop. 整 SAE 数学系列在 layer tower + 横向分支网络中渐进阐述, 不预设固定 trajectory.

此驱动结构跟 Paper 2 阐述的多 $L_1$ trajectory 框架在主步骤 4 处的具体实现一致 — 多 trajectory 不仅在 $L_0$ 维度间产生 (量维度 / 真值维度 / 几何维度等), 也在 $L_1$ 余项迫使后续阐述模式时通过分流产生 (主轨复化 / effective Cauchy 完备化 / formal definability / 非阿基米德横向分支). SAE 数学的网络结构跟此分流结构一致.

主步骤 4 闭合于 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, 余项账本迫使后续阐述模式涌现. $L_1$ 阐述模式自身的阐述至此完成. 本文 § 7 进一步阐述实数轴基底的实质内容 (经典 $\mathbb{R}$ vs SAE 阐述运作基底的区分, 含 classical / effective Cauchy 两术语区分); § 8 综合阐述分形登记纪律 (跨层阈口 / 层内分形 / 余项账本结构三类 sub-articulation 各自登记标准); § 9 阐述跨论文关系; § 10 阐述开放问题.

7. 量维度基底

7.1 经典 $\mathbb{R}$ 与 SAE 阐述运作基底的区分

本文 § 2 已经 establish 经典数学构造层级跟 SAE 阐述运作层级的防火墙. § 7 在主步骤 1 至 4 阐述之后, 在阐述具体内容层级重申此区分的实质含义.

经典数学构造层级把 $\mathbb{R}$ 构造为完成对象 (通过 ZFC + Dedekind 切割或 Cauchy 序列等价类等内部构造). 此内部构造在经典层级合法, 实质内容是 $\mathbb{R}$ 作为一个集合, 含全部 (实) 数, 满足全体序公理与连续公理. 经典数学构造视角下 $\mathbb{R}$ 是已完成的对象, 数学家在此对象上操作.

SAE 阐述运作层级把 $\mathbb{R}$ 视为跨多 layer 涌现基底, 不预存在阐述之前. 主步骤 1 至 4 内的具体阐述都按 SAE 阐述运作层级展开: "1" 通过跨层阈口 sub-articulation 涌现, 加法路径在 $L_1$ 内层内分形阐述, 乘法路径在 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 上闭合, 主步骤 4 阐述余项账本驱动后续阐述模式. 这些阐述都不是对预存 $\mathbb{R}$ 的 progressive revelation, 而是 SAE 视角下主体阐述过程内自然涌现.

两层级各自合法 (per § 2.2 防火墙陈述). 经典数学构造关心的是 $\mathbb{R}$ 的内部构造性质 (完成对象的实质内容); SAE 阐述运作关心的是阐述模式捕获基底的过程性质 (各阐述模式的余项与驱动结构). 两视角在不同层级各自阐述实质内容.

7.2 不同阐述模式捕获不同层段: classical vs effective Cauchy 区分

实数轴作为量维度涌现基底, 不同阐述模式捕获它的不同层段. 此分层不是预设的 stratification, 而是各阐述模式自身的边界自然阐述出.

具体而言, "Cauchy 完备化" 这件 phrase 在不同 reading 下有不同实质内容. 为避免混用, 本文显式区分两件不同阐述模式:

Classical Cauchy 完备化 (classical Cauchy completion): 在 ZFC 集合论内, Cauchy 完备化作为 $\mathbb{R}$ 的内部构造工具, 捕获 $\mathbb{R}$ 作为完成集合, 含所有 (实) 数 (含超越数、不可计算数、不可定义数). 此阐述模式在经典数学构造层级合法, 是 19 世纪算术化分析的实质成就之一. 经典 Cauchy 完备化阐述的实质内容是: 由 $\mathbb{Q}$ 上 Cauchy 序列的等价类构造出含全部 $\mathbb{R}$ token 的完成集合, 在 ZFC 框架内 well-defined.

Effective Cauchy 阐述 (effective Cauchy 阐述): 在 SAE 阐述运作视角下, effective Cauchy 阐述模式捕获可计算实数 — 即由有限 algorithm 任意精度可计算的实数, 含实代数数 ($\mathbb{Q}^{\rm alg}_{\mathbb{R}}$) 加可计算超越数 ($\pi, e, \ln 2$ 等). 此阐述模式不捕获不可计算实数 (因为 Cauchy 序列的极限点不是任意精度可计算的).

两者区分的实质意义: 在经典数学构造层级, classical Cauchy 完备化捕获全部 $\mathbb{R}$ (含不可计算 / 不可定义 reals), 因为经典构造依赖 ZF/ZFC 式 completed-set ontology, 含幂集 / 分离 / 商集等集合论资源, 可把 $\mathbb{R}$ 作为 completed object 构造出来 (注: 实数集合的 classical construction 本身不以 axiom of choice 为核心, 虽然某些后续实分析与选择性对象会使用 axiom of choice; 跟 Dedekind 切割或 Cauchy 序列等价类构造一致, 在通常 ZF 框架内即可完成). 在 SAE 阐述运作层级, effective Cauchy 阐述捕获仅可计算实数, 因为 SAE 视角关心主体作为有限存在的阐述运作, 阐述工具是有限主体可执行的规则图式捕获某一层段, 不假设跨主体可计算能力的非构造性资源.

Paper 1 阐述 $L_1$ 含 "$\mathbb{R}$ 通过 Cauchy 完备化" 在经典数学构造层级下 reading 时, 它隐式指 classical Cauchy 完备化, 这件在经典层级合法. 但在 SAE 阐述运作层级下, classical Cauchy 完备化不在 $L_1$ 内 (它捕获含不可计算 reals 的全部 $\mathbb{R}$, 跨 $L_1$ 阐述模式 boundary), 而 effective Cauchy 阐述是 $L_1$ 之后的一个分析性完备化分支 (post-$L_1$ articulation candidate; 是否作为 $L_2$ 主轨某 sub-articulation、$L_{1 \to 2}$ bridge, 或与复化主轨并行的 side-branch, 本文不预设, 留后续 layer paper 阐述). 此区分是 § 9.1 阐述本文与 Paper 1 关系作实质范围精化的核心.

各阐述模式捕获的实数轴层段形成嵌套关系:

• $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ (实代数数) ⊂ 可计算实数 ⊂ 可定义实数 ⊂ $\mathbb{R}$
• $L_1$ 有限代数阐述捕获 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$
• effective Cauchy 阐述捕获可计算实数 (post-$L_1$ articulation candidate)
• formal definability 阐述捕获可定义实数 (post-$L_1$ articulation candidate; 具体 layer 归属不预设, 留后续 layer paper)
• classical Cauchy 完备化 (经典层级) 捕获全部 $\mathbb{R}$

SAE 阐述运作视角不把此嵌套视为 "$\mathbb{R}$ 的内部分层", 而是视为 "各阐述模式捕获不同部分留下不同余项" 的 dynamics. 各阐述模式自身的边界自然阐述出层段, 层段不是预设的内部结构.

7.3 主体 Via Negativa 在基底阐述过程内

主体 Via Negativa 在每一阐述模式的引入处都驱动余项捕获. 主体作为有限存在不接受 "$L_1$ 阐述模式捕获全部基底" 这件 finality, 通过 Via Negativa 拒绝此 finality, 迫使新阐述模式涌现捕获一部分余项. 此过程在每一 layer 或横向分支处重复, 整体上让基底通过累积阐述渐进涌现.

但永久余项 (不可定义实数) 标记 SAE 阐述运作的根本限制. 主体 Via Negativa 在永久余项处不能迫使任何 countable formal language 阐述模式捕获它 — 不是主体能力不够, 而是 cardinality 论证阐述出此余项内在不可被 countable formal language 捕获. 此余项让 SAE 视角承认基底永远不被任何具体阐述模式完全捕获, 阐述过程开放无终结.

此开放性是 SAE 阐述运作的核心. 它跟经典数学构造层级把 $\mathbb{R}$ 作为完成对象的视角形成对比, 但两视角各自合法: 经典数学构造给出 $\mathbb{R}$ 的内部构造工作 (这是数学史上最漂亮的成就之一, 本文 § 2.3 已阐述); SAE 阐述运作给出阐述模式捕获基底的过程工作 (这是本文焦点). 两视角各自关心不同问题, 实质内容不冲突.

此开放性也是 SAE Anchor B (余项不可消除) 在量维度基底层级的最强实例. 不仅 $L_1$ 阐述模式饱和后留余项, 后续任何具体阐述模式饱和后都留余项, 永远不能捕获全部基底. 此累积留余项的实质内容是 SAE 视角下数学发展的源动力 — 余项作为未完成标记驱动后续阐述模式涌现, 阐述模式累积让基底渐进涌现, 但累积永不终结. 阐述过程开放无终结, 跟基底永不被完全捕获一致.

8. 分形登记纪律综合

8.1 登记标准三类

本文 sub-articulation 含三类不同性质的阐述, 各自登记标准不同. 综合阐述如下.

类 I 跨层阈口. 主步骤 1 内 "1" 引入过程属此类. 阐述是 $L_0$ 到 $L_1$ 过渡过程的 sub-articulation, 跨在两 layer 边界. 它的 sub-articulation 模式在结构形式上遵循四步分形 (sub-step 1 mark / sub-step 2 方向 / sub-step 3 绑定 / sub-step 4 闭合 + remainder), 但实质内容是跨层过渡, 不是 within-layer fractal cycle.

类 II 层内分形. 主步骤 2 与 3 内的 sub-articulation 属此类. 阐述是 $L_1$ 内展开过程的 within-layer fractal cycle. 各内层步骤都在 $L_1$ 内, 不跨 layer.

类 III 余项账本结构. 主步骤 4 内的 sub-articulation 属此类. 阐述是 $L_1$ 阐述模式整体的元层级闭合 + 余项账本组织 + 驱动结构. 不遵循四步分形模式, 而是按饱和事件 / 余项账本 / 驱动结构组织.

三类各自登记标准不同, 不能用同一套标准衡量. 不区分三类而强行用层内分形标准衡量, 会让跨层阈口或余项账本结构 sub-articulation 显得 marginal 或不合格, 实际上它们是不同类型的阐述, 跟层内分形登记标准不在同一维度上. 本文阐述: sub-articulation 是诊断, 不是强制. 若某主步骤只有 weak 或 marginal self-similarity, 应坦白说 "这里不是完整 sub-fractal, 只是 structural echo", 而不是强凑四步.

8.2 类 II 层内分形登记标准 (方法论十 § 7.6 五条)

Methodology 10 § 7.6 给出层内分形 sub-articulation 的五条登记标准:

第一, 能明确标出四步 (mark / additive 方向 / multiplicative 绑定 / 闭合 + remainder).

第二, 内层步骤 2 跟内层步骤 3 不能只是同一过程的强弱版本, 内层步骤 3 必须引入非局部绑定.

第三, 内层步骤 4 必须同时产生构与余项, 余项能驱动下一轮阐述.

第四, 必须能说明对象为何不是三步、五步或普通凿构循环.

第五, 类比性相似不得登记为强实例.

主步骤 2 (加法路径) 与主步骤 3 (乘法路径) 内的 sub-articulation 各自验证五条标准.

主步骤 2 验证: mark = "+" (内层步骤 1); 方向 = 累加 (内层步骤 2); memory 绑定 = N 进制 positional 绑定 (内层步骤 3, 跨位绑定让累加紧凑); 闭合 = $\mathbb{Z}$ 闭合, 余项 = 除法不闭合余项 + 无限累积余项 (内层步骤 4). 五条全满足.

主步骤 3 验证: mark = "×" (内层步骤 1); 方向 = 乘法迭代 (内层步骤 2); memory 绑定 = power notation 跨乘法绑定 (cross-multiplications binding) (内层步骤 3, 跨重复乘法绑定让迭代紧凑); 闭合 = $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 闭合 (内层步骤 4 嵌套级联含除法 → $\mathbb{Q}$, 开方 / 多项式求根 → $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$), 余项 = 非实代数根余项 + 超越数余项 + 不可计算 / 不可定义余项. 五条全满足. 内层步骤 4 含嵌套级联让 sub-fractal depth 略深, 但模式形式守恒, 不破坏登记.

8.3 类 I 跨层阈口登记标准

类 I 跨层阈口 sub-articulation 登记标准跟类 II 层内分形不同. 主要差异:

第一, 跨层阈口 sub-articulation 阐述跨层过渡, 内层步骤的具体内容跨两 layer (内层步骤 1, 2 在 $L_0$ - $L_1$ 边界附近; 内层步骤 4 已经在 $L_1$ 入口). 跨层阈口 sub-step 1 mark 引入新方向的 conceptual 阐述 (不是 token 层级), token 在内层步骤 4 闭合时才 fix; 类 II 层内分形 sub-step 1 mark 直接引入 sub-token, 后续步骤在 sub-token 之上展开. 两类 mark 的层级地位实质上不同 (一在概念层级, 一在 token 层级).

第二, 不要求内层步骤 2 跟内层步骤 3 是 within-layer 的不同过程; 它们是过渡过程的不同阶段 (内层步骤 2 阐述概念跨主体传播, 内层步骤 3 阐述符号公众绑定, 两者是过渡的不同阶段, 不是同一 layer 内的不同 sub-articulation).

第三, 闭合步骤产生的构是跨入 $L_1$ 的固定 token, 余项迫使 $L_1$ 内首个主步骤 (主步骤 2). 跟类 II 层内分形闭合余项迫使同 layer 内下一阐述不同, 跨层阈口闭合余项迫使 $L_1$ 内的首次阐述展开.

主步骤 1 sub-articulation (精确量概念阐述 → 跨主体传播 → 符号公众绑定 → "1" 固定 + 余项) 验证此登记标准: 阐述真过渡过程, 不 stretch into within-layer fractal 模式. 各内层步骤都在过渡过程的不同阶段, 跟跨层性质一致. 主步骤 1 内层步骤 1 ("精确量在此阶段是概念性的, 还没有 token-level的实现", per § 3.2.1) 跟类 II 内层步骤 1 ("'+' 直接引入新 sub-token", per § 4.2.1) 实质上不同, 此区分让两类登记标准的差异有具体 anchor.

类 I 跨层阈口 sub-articulation 跟类 II 层内分形共享四步形式结构, 但实质内容不同. 共享形式让两类 sub-articulation 在结构上可识别, 但各自实质内容跟实质性质不同, 登记标准也相应不同.

8.4 类 III 余项账本结构登记标准

类 III 余项账本结构 sub-articulation 登记标准跟前两类不同. 主要差异:

第一, 不遵循四步分形 cycle. 内部组织不按 mark / 方向 / memory / 闭合四步进行.

第二, sub-articulation 按饱和事件、余项账本组织、驱动结构三阶段组织. 阶段间结构关系跟 Via Rho 非对称互因公式驱动.

第三, 各阶段的实质内容由 Via Rho 公式 ($\mathcal{N} \to (C_i, \rho_i) \to \mathcal{N} \to \ldots$) 驱动, 不由分形四步驱动.

主步骤 4 sub-articulation (饱和事件 / 余项账本多类型 / 驱动结构) 验证此登记标准: 阐述内容跟主步骤 4 的元层级闭合性质一致, 不 stretch into 四步分形模式. 三阶段各自有实质内容: 饱和事件阐述 $L_1$ 阐述模式整体边界; 余项账本阐述多类型余项的具体组织; 驱动结构阐述余项怎么驱动后续阐述模式涌现.

把主步骤 4 sub-articulation 强行 stretch into 四步分形模式是有可能的 (例如把饱和事件视为 mark, 把基底内余项视为方向, 把基底外余项视为绑定, 把驱动结构视为闭合 + remainder), 但这种 stretch 是 nominal 不是实质 — 它把元层级阐述压入 within-layer 形式, 失去元层级实质. 本文不做此 stretch, 而是承认主步骤 4 sub-articulation 是不同类型的阐述, 用适当的登记标准衡量.

8.5 弱自相似阐述

跟 Methodology 10 § 6.4 阐述一致, 本文分形 sub-articulation是弱自相似, 不是强自相似. 结构形式跨 scale 守恒, 具体内容随 scale 变化.

具体: 主步骤 1, 2, 3 各内层步骤 3 都阐述 跨某种绑定让阐述紧凑, 但具体绑定形式不同 — 主步骤 1 sub-step 3 是符号公众绑定 (跨主体), 主步骤 2 sub-step 3 是 N 进制 positional 绑定 (跨数字位置), 主步骤 3 sub-step 3 是 power notation 跨乘法绑定 (cross-multiplications binding) (跨重复乘法). 模式形式守恒 (都是 跨某种绑定), 具体绑定的维度跟内容随阐述上下文变化.

主步骤 1, 2, 3 各内层步骤 4 都阐述闭合 + 余项, 余项驱动下一阐述. 模式形式守恒, 闭合的具体内容 (固定 token "1" / $\mathbb{Z}$ / $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$) 跟余项的具体内容 ("比 1 多 1" / 除法不闭合 + 无限累积 / 非实代数根 + 超越数 + 等) 随阐述上下文变化.

主步骤 4 sub-articulation 不遵循四步模式, 但跟主步骤 1, 2, 3 sub-articulation 共享实质性质 — 都阐述运作产生构 + 余项 + 后续驱动. 此共享是 Via Rho 非对称互因公式的实例化, 在不同结构形式 (四步分形 vs 余项账本结构) 下都实现.

此弱自相似让本文阐述既保持 SAE-internal 结构一致 (Via Rho 公式在各 scale 实现), 又承认结构形式不必跨 scale 严格守恒. 强自相似要求结构形式跨 scale 完全相同, 但实质内容必随 scale 变化的现象 (例如主步骤 4 sub-articulation 是元层级阐述跟主步骤 1-3 不同) 会被强自相似排除. 弱自相似容纳这种实质差异, 跟 SAE 阐述运作的实质内容一致.

关于诊断 status 的再强调. 跟 § 8.1 阐述一致, 本文 sub-articulation 维持诊断 status, 不是强制. 若某主步骤只有 weak 或 marginal self-similarity, 应坦白说 "这里不是完整 sub-fractal, 只是 structural echo", 而非强凑四步. 本文主步骤 1 (类 I 跨层阈口) 跟主步骤 4 (类 III 余项账本结构) sub-articulation 各自登记标准跟主步骤 2, 3 (类 II 层内分形) 不同, 此区分让 sub-articulation 阐述实质而非 mechanical. 把任 sub-articulation 强行 stretch into 类 II 四步分形模式是 nominal 不是实质 — 它把不同类型阐述压入同一形式, 失去各类型实质. 弱自相似 + 诊断 admission 一起让分形阐述维持实质 integrity.

9. 跨论文关系

9.1 跟 Paper 1 的关系: 实质范围精化, not withdrawal

Paper 1 阐述 $L_1$ 含 "数、算术、$\mathbb{R}$ 通过 Cauchy 完备化" 是经典数学构造层级与 SAE 阐述运作层级共同的初步描绘. 本文阐述 SAE 阐述运作层级内 $L_1$ 阐述模式自身饱和于 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$.

本文相对 Paper 1 是实质范围精化, 不是撤回. 这件区分值得明确阐述以 transparency. Paper 1 在 architectural sketch 层级上把数、算术与 $\mathbb{R}$ 的 classical completion 同列为 $L_1$ 主轨. 本文保留这一 sketch 的经典 reading (在经典数学构造层级上 Paper 1 阐述合法), 但在 SAE 阐述运作层级上把 $L_1$ 模式精化为有限代数阐述, 并把 $\mathbb{R}$ 读为跨多层基底. 严格 SAE 阐述运作视角下, Cauchy 完备化作为后续阐述模式 (effective Cauchy 阐述捕获可计算实数, 作 post-$L_1$ articulation candidate; 具体是否作为 $L_2$ 主轨某 sub-articulation、$L_{1\to 2}$ bridge, 或与复化主轨并行的 side-branch, 本文不预设. classical Cauchy 完备化在 ZFC 内构造完整 $\mathbb{R}$, 在经典层级合法但在 SAE 阐述运作层级下属跨 $L_1$ 内容). 因此本文阐述确实对 Paper 1 的 $L_1$ reading 在 SAE 阐述运作层级做实质范围精化.

两阐述层级各自合法不冲突 (per § 2 阐述防火墙):

• 在经典数学构造层级上, Paper 1 阐述 "$\mathbb{R}$ 通过 Cauchy 完备化" 维持合法, 因为 classical Cauchy 完备化在 ZFC 内合法 (19 世纪算术化分析的实质成就)
• 在 SAE 阐述运作层级上, 本文阐述 $L_1$ 阐述模式自身饱和于 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, classical Cauchy 完备化跨 $L_1$ 阐述模式 boundary, effective Cauchy 阐述是后续 layer 阐述模式

Paper 1 已发表的内容真正维持在经典层级. 本文阐述是 SAE 阐述运作层级下的实质范围精化, 不是 Paper 1 经典层级阐述的撤回. 此关系跟 Paper 2 把 Paper 1 模式重命名为客体性精确化模式所建立的关系是同一种模式 — Paper 1 内容阐述维持, 后续论文在不同层级或不同视角下作实质 sharpening.

具体内容上的对应:

• Paper 1 阐述 $L_1$ "数、算术" 部分: 对应本文主步骤 1 至 3 (标而不构 → 加法路径 → 乘法路径) 的具体 sub-articulation
• Paper 1 阐述 $L_1$ "$\mathbb{R}$ 通过 Cauchy 完备化" 部分: 在经典数学构造层级合法 (classical Cauchy 完备化在 ZFC 内合法); 在 SAE 阐述运作层级下属后续 layer 阐述模式 (effective Cauchy 阐述作为后续阐述模式捕获基底内可计算超越数余项)
• Paper 1 阐述 $L_2$ 至 $L_5$: 本文不阐述, 留给后续 SAE 数学系列论文

本文的实质贡献不是修订 Paper 1, 而是把 Paper 1 关于 $L_1$ 的初步描绘精化到 sub-articulation 层级, 并明确经典数学构造跟 SAE 阐述运作两层级各自合法的关系, 同时在 SAE 阐述运作层级下作实质范围精化.

9.2 跟 Paper 2 的关系

Paper 2 阐述 $L_0$ 多维度多路径框架, 把 Paper 1 模式重定位为客体性精确化模式, 阐述多条 $L_1$ trajectory 并存. 本文是 Paper 2 框架内的一条 $L_1$ trajectory (量维度 × 完整精确化路径) 的实质详细阐述.

本文阐述在 Paper 2 框架内进行, 不修改 Paper 2 框架. 主步骤 1 至 4 都遵循 Paper 2 § 5.2 阐述的量维度完整精确化路径的四步 sketch, 在 sub-articulation 层级精化.

本文阐述的 "SAE 数学四 inevitability 是凿构循环四分形在数学阐述中的 SAE-internal 实质识别" (§ 1.2) 让 Paper 2 § 3 阐述跟 Methodology 10 § 1.1 阐述在跨论文层级建立实质上的 coherence 精化. 此精化是 Paper 2 + 方法论十联合阐述跨论文实质 coherence 的具体实现.

跨维度对比阐述 (§ 3.3 阐述标记把手在其他维度也阐述出, 但具体形式不同, 含真值维度 / 几何维度 / 审美维度) 也实现 Paper 2 多 $L_1$ trajectory 框架在 sub-articulation 层级的具体内容. Paper 2 框架阐述多 trajectory 存在, 本文阐述主步骤 1 sub-articulation 在不同 trajectory 共享模式但实例化具体内容不同的实质内容.

9.3 跟方法论十的关系

Methodology 10: The Four-fold Pattern 阐述凿构循环四分形作 universal 结构图样. 本文阐述此 universal 图样在量维度 × 完整精确化路径内的具体展开.

本文各主步骤跟方法论十 § 1.1 四步对位 (per § 1.2 推导), 各 sub-fractal 阐述按方法论十 § 7.6 五条登记标准验证 (类 II 层内分形) 或按相应类的登记标准阐述 (类 I 跨层阈口, 类 III 余项账本结构). 分形弱自相似跟方法论十 § 6.4 一致.

本文跟方法论十的关系是 universal 跟具体的对应: 方法论十 universal 阐述凿构循环四分形, 本文在量维度具体实例化. 此对应让方法论十在量维度内实质上实现, 不再是抽象的 universal 阐述.

本文阐述也对方法论十的登记纪律 (§ 7.6 五条) 在实践中的应用形成具体案例. 类 I 跨层阈口跟类 III 余项账本结构两类 sub-articulation 跟类 II 层内分形不同, 各自登记标准跟方法论十五条不在同一维度上. 此区分实质内容值得在方法论十后续更新中进一步阐述 (本文 § 10 列为开放问题).

9.4 跟方法论 00 的关系: Via Rho 范围精化

Methodology 00: Via Rho 阐述 Via Rho 作 Via Negativa 的数学 dual. 方法论 00 § 3.4 阐述 ZFCρ 作 Via Rho 在集合论 vocabulary carrier 层级的 mathematical 实例化.

本文 sharpens 方法论 00 Via Rho 数学 carrier 范围: 从 ZFCρ-specific 层级扩展到 SAE 数学系列范围. SAE 数学系列整阐述 (Paper 1 + Paper 2 + Paper 3 + 后续 layer paper) 各自阐述 Via Rho 在不同阐述模式内的具体实例化:

• Paper 1: Via Rho 在层级建筑学层级的实例化. 各 layer 闭合产生余项驱动下一 layer.
• Paper 2: Via Rho 在 $L_0$ 多维度多路径框架内的实例化. 各维度各路径各自 Via Rho 实现.
• Paper 3 (本文): Via Rho 在 $L_1$ 量维度有限代数阐述模式内的实例化. 主步骤 1 至 4 各阶段 Via Rho 实现, 主步骤 4 闭合产生构 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ + 余项账本 $\rho_{L_1}$, 余项迫使后续阐述模式. 绑定阐述运作各处也是 Via Rho 在绑定处的实例化 (per § 4.2.3, § 4.4, § 5.2.3).
• 后续 layer paper: Via Rho 在各后续阐述模式 ($L_2$ effective Cauchy 阐述 / 复化 / formal definability / 非阿基米德横向分支等) 内的实例化.

ZFCρ 仍是 Via Rho 在量 trajectory 加法路径 formalization carrier 选择上的具体实例化 (选用集合论 vocabulary 作 carrier), 但 SAE 数学系列整体阐述 Via Rho 在量维度 × 完整精确化路径上的跨 layer trace, 不局限于单一 formalization carrier 选择. 此 sharpens 是 Paper 3 在跨论文层级的实质贡献之一. 它把 Via Rho 框架从单一 mathematical carrier (ZFCρ) 扩展到整 SAE 数学系列, 让 SAE 数学系列阐述作 Via Rho 的系统化具体实现.

9.5 跟 ZFCρ Paper 0 的关系 (预告)

ZFCρ Paper 0 (后续论文) 阐述 ZFCρ 具体加法路径 formalization carrier 跟 $L_1$ 整阐述模式的关系. 本文 § 4.3 阐述 ZFCρ 作加法路径默认 carrier 实现, 但不阐述 ZFCρ 内部技术内容. 详细 ZFCρ 内部技术 (ZFC 外延闭合留下的具体余项 ρ, ZFCρ 在长 trajectory 上的 dynamics, R_wt = O(1) 等技术内容) 留给 ZFCρ Paper 0 阐述.

Paper 3 跟 ZFCρ Paper 0 是 量 trajectory 内同系列论文 (跟 § 10.3 阐述的集合 trajectory 不同, 集合 trajectory 是 SAE 数学网络内单独 trajectory, 标记把手是 "集合"; ZFCρ 是量 trajectory 内 paper 选用集合论 vocabulary 作 formalization carrier). 两 paper 阐述层级各自不同: Paper 3 阐述整 $L_1$ 阐述模式, ZFCρ Paper 0 阐述 ZFCρ-specific formalization 结构在 $L_1$ 加法路径内的具体实例化.

§ 4.2.4 阐述加法路径 sub-step 4 余项含无限累积余项 (potential → actual infinity 过渡), 此余项迫使后续阐述模式; § 4.3 阐述 ZFCρ formalization 含 axiom of infinity 等跨 $L_1$ axioms, 这些 axioms 在 ZFCρ formalization carrier 内阐述 $L_1$ 余项迫使出的内容, 但不改变 $L_1$ proper 实质内容. 此阐述 (Paper 3 内不深入展开) 在 ZFCρ Paper 0 内具体阐述 — ZFCρ 跨 $L_1$ formalization 性质跟 SAE 量 trajectory 多 layer 的实质 coherence.

ZFCρ Paper 0 的具体阐述时机不预设, 跟 SAE 数学系列累积阐述原则一致, 等实质内容自然涌现时具体阐述出. 本文不预设 ZFCρ Paper 0 的写作时机或具体内容; 仅明确 Paper 3 跟 ZFCρ Paper 0 在阐述层级上的分工 (Paper 3 阐述整 $L_1$ 模式, ZFCρ Paper 0 阐述 ZFCρ 具体实例化 in 量 trajectory 加法路径).

9.6 跟数学社群当下 working practice 的关系

本文阐述含一项实质立场, 需要在跨论文关系层级显式阐述: 区分量维度基底 $\mathbb{R}$ 跟 $L_1$ 阐述模式作为 SAE 视角内实质内容 (per § 2 防火墙 + § 6 余项账本 + § 7 量维度基底), 跟数学社群当下 working practice 的关系. 本节阐述此关系作 SAE 视角的实质立场.

9.6.1 数学社群当下 working practice 内 $\mathbb{R}$ 作默认 working ground

数学社群当下 working practice 内, $\mathbb{R}$ 作默认 working ground 阐述各分支数学. 实分析、复分析、代数几何、数论、PDE、概率论、动力系统、等各分支都默认 $\mathbb{R}$ (或 $\mathbb{C}$) 作 background structure. ZFC + Dedekind / Cauchy 完备化构造 $\mathbb{R}$ 让 $\mathbb{R}$ 在数学 working practice 内是已经存在的完成对象, 数学家在此对象上 develop 实质内容.

此 working practice 是数学社群实质 working 的 high productivity 基础. 它让数学社群跨越各 layer 自然涌现的渐进过程, 直接获得框架 / structure / object 作 working ground. 经典数学构造的实质成就 (per § 2.3 阐述) 跟此 working practice 一致, 在经典层级合法.

9.6.2 problem-driven construction 工作的累积

数学社群在此 working practice 内累积大量精妙的 problem-driven construction 工作. 各 famous conjecture (含 Fermat 大定理、Poincaré 猜想、Carleson convergence、Tao-Green prime arithmetic progression、孪生素数、Riemann 假设、BSD 猜想、Hodge 猜想、P vs NP、等) 触发各自传统内累积大量精妙 technique — sieve methods、分析数论、random matrix theory、algebraic geometry、analytic 工具、等不一而足. 这些 technique 各自阐述实质数学内容, 是数学发展史上的实质成就. 其中部分 conjecture 已在 working practice 内 succeed (Fermat 大定理 1995, Poincaré 猜想 2003, Carleson 1966 等), 部分仍 open (Riemann, BSD, P vs NP 等).

关于具体 conjectures 的实质 ground: 上文命名 conjectures 是描述 working practice 内 problem-driven accumulation 模式的具体例子, 不主张这些具体 conjectures 各自的实质 ground 在 working practice 范围之内或之外. 具体哪些 conjectures 在 working practice 内可解, 哪些 conjectures 的实质 ground 可能跨 working practice 范围, 这件区分需要 case-by-case 实质分析, 不在本文范围.

关于 SAE 视角作诊断框架而非失败判定: 在 SAE 视角下, 当 problem-driven construction 工作累积大量 technique 但 face 范围相关限制时 (具体哪些 conjecture 受此限制影响是 case-by-case 问题), 范围限制可能跟实质 ground 跟 working practice ground 的关系有关. 此阐述是 SAE 对可能 obstruction source 的诊断框架, 不是对具体数学工作的失败判定. 本节阐述的是 SAE 视角下对 working practice 范围的一般性实质 position, 不主张 SAE 视角直接解决任何具体 conjecture, 也不主张 working practice 内未解决 conjecture 必然因 working practice 范围限制.

9.6.3 SAE 区分基底 vs 阐述模式作 SAE-internal 实质立场

本文阐述区分量维度基底 ($\mathbb{R}$ 作 emergent 基底) 跟 $L_1$ 阐述模式 (有限代数阐述, 饱和于 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$) 是 SAE 视角内的实质立场. 此立场 grounded in 余项不可消除原则 (Anchor B, per § 6.2 饱和事件 + § 6.3 余项账本 + § 7.3 主体 Via Negativa 在基底阐述过程内) 跟基底跨多层渐近涌现承诺 (per § 2.3 SAE 阐述运作与过程承诺 + § 7.1 经典 $\mathbb{R}$ 跟 SAE 阐述运作基底区分).

此立场的实质含义跟数学社群 working practice 关系: SAE-internal 区分基底 vs 阐述模式不撤回数学社群 working practice 内 $\mathbb{R}$ 作默认 working ground 的合法性 (在经典层级合法, per § 2 防火墙). working practice 在它自身范围内实质成就真实, SAE 视角不主张 working practice 是错的或缺陷的.

SAE 视角阐述自己的实质立场作 SAE-internal 工作, 让跨 working practice 范围的实质 ground (若存在) 在 SAE 视角下可被阐述. 此立场跟 § 9.1 阐述本文跟 Paper 1 关系作实质范围精化一致 — 不撤回 prior 阐述, 在新视角下作实质工作.

9.6.4 认知切换代价跟 SAE 视角入口条件

数学社群读完本文可能感觉 $L_1$ 阐述模式阐述 ($L_1$ 饱和于 $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$, $\mathbb{R}$ 是跨层 emergent 基底) 跟数学社群当下 working practice 内 $\mathbb{R}$ 的默认 reading 不同. 此区分需要 cognitive 切换 — 从 "$\mathbb{R}$ 作完成对象 in working ground" 切换到 "$\mathbb{R}$ 作 emergent 基底跨多 layer 累积涌现".

此 cognitive switching 代价真实. 数学社群在默认 working practice 内 high productivity 工作, 切换到 SAE 视角需要思维调整, 此调整有代价. 此代价是任何试图 access SAE-internal 实质立场 (基底 vs 阐述模式区分, per § 2 防火墙 + § 6 余项账本 + § 7 量维度基底) 的视角都 face 的入口条件.

SAE 视角阐述基底 vs 阐述模式区分作 SAE-internal 实质立场. 接受 / 拒绝 / 部分 incorporate SAE 视角是数学社群各自的选择. SAE 视角 grounded in 自身阐述原则 (Anchor B 余项不可消除等), 让 SAE-internal 实质内容可被阐述, 不主张 SAE 视角必然替代 working practice 内 $\mathbb{R}$ 作默认 working ground 的实践.

经典数学构造层级跟 SAE 阐述运作层级各自合法不冲突 (per § 2 防火墙), 各自关心不同问题. 数学社群 working practice 跟 SAE 视角各自 develop, 两者平行存在.

10. 开放问题与后续 trajectory

10.1 开放问题

继承 Paper 2 § 11 阐述的开放问题, 本文具体阐述的开放问题如下.

第一, 后续阐述模式捕获哪余项的具体 mapping. 本文 § 6.4 给出驱动结构的候选 mapping (类型 α 余项迫使主轴复化, 基底内可计算超越数余项迫使 effective Cauchy 阐述, 基底内可定义不可计算余项迫使 formal definability, 类型 β 余项迫使非阿基米德横向分支), 但具体 mapping 是否如此安排, 后续阐述模式是单一还是多个, 哪阐述模式在哪 layer 涌现, 这些都不预设, 留后续 SAE 数学系列论文逐步阐述出.

第二, $L_1$ 阐述内主体 Via Negativa 执行跟阐述代价的具体 mechanism. 本文 § 1.3 与 § 4.4 给出绑定阐述运作作 Via Rho 在绑定处实例化的 SAE 解释层, 但具体阐述代价度量跟主体阐述资源关系是开放问题. 此关系的具体阐述可能要求新的 SAE 方法论论文阐述代价 / resource 框架. 这是跨 SAE 系列的开放问题 — 跨 SAE 数学系列、信息论系列、心理学系列等多个 SAE 子系列, 不只属 SAE 数学系列范围内, 也不只属任何单一系列范围内.

第三, 基底内余项跟基底外余项区分能否在 $L_1$-内部 articulable form 阐述. 本文 § 6.3.1 承认此分类是回看视角阐述, 不是 $L_1$ 内部阐述工具能直接阐述. 是否存在 $L_1$-内部 articulable form 让此区分在 $L_1$ 内部直接阐述出, 是开放问题. 一个可能方向: 基于 polynomial solvability vs polynomial unsolvability requiring new structure 的 $L_1$-内部区分.

第四, 多条 $L_1$ trajectory 各阐述模式之间关系. 量维度完整精确化路径 $L_1$ 阐述模式 = 有限代数阐述. 真值维度完整精确化路径 $L_1$ 阐述模式可能 = boolean algebra / formal logic. 空间几何维度完整精确化路径 $L_1$ 阐述模式可能 = 点 / 直线 / 圆等几何基本工具. 审美维度持续敞开路径 $L_1$ 阐述模式可能 = 典范作品 / 风格框架. 集合 trajectory $L_1$ 阐述模式可能 = naive set theory 或类似阐述 (集合归属 / 子集 / 等价 / 操作等). 各阐述模式自身实质内容跟跨模式关系是开放, 留给各后续学科系列论文阐述.

第五, 跟 ZFCρ trajectory 具体卡点关系. ZFCρ 加法路径具体卡点 (R_wt = O(1), 长期震荡对消等) 跟 $L_1$ 阐述框架的具体位置关系需在 ZFCρ Paper 0 内 develop.

第六, 类 I (跨层阈口) 跟类 III (余项账本结构) sub-articulation 登记标准的方法论阐述. 本文 § 8 给出三类 sub-articulation 各自登记标准的具体内容, 但跨层阈口跟余项账本结构两类登记标准跟方法论十 § 7.6 五条不在同一维度上. 此区分实质内容值得在 SAE 方法论后续更新中进一步阐述, 是开放问题.

第七, $p$-adic 余项作为 valuation 选择余项的实质性质. § 6.3.3 阐述 $p$-adic 余项是 $\mathbb{Q}$ 在多个不同绝对值选择下产生多个不同完备化, 但 valuation 选择是阐述阶段问题 (主体选择哪种 valuation 作阐述 tool) 还是基底阶段问题 ($\mathbb{Q}$ 本身 carry multiple valuations 作基底 property), 这件实质性质是开放问题. 列入 SAE 数学网络内的开放阐述, 留 non-Archimedean 横向分支专题论文具体阐述.

10.2 后续 layer 论文 trajectory: 不预设, layer 自然生长

跟 Paper 2 § 11.7.1 阐述的累积阐述原则一致, 本文不预设后续 layer 论文固定 trajectory. layer 自然生长, 哪阐述模式在哪后续 layer 阐述取决后续 SAE 数学论文选择捕获哪余项, 取决实质内容自然涌现时机.

可能后续 trajectory 候选 (不预设具体安排或时机):

• 后续论文阐述主轴复化阐述模式, 捕获基底外类型 α 余项 $i$, 阐述出复分析 foundation 的 $L_2$ 实现 (跟 Paper 1 + SAE 数学奠基论文已稳定的 $L_2$ = complexification / holomorphic defect ledger 一致)
• 后续论文阐述 effective Cauchy 阐述模式 (跟 classical Cauchy 完备化区分 per § 7.2), 捕获基底内可计算超越数余项, 阐述出实分析 foundation 的 post-$L_1$ 实现 — 是否作为 $L_2$ 主轨某 sub-articulation、$L_{1\to 2}$ bridge, 或与复化主轨并行的 side-branch, 不预设, 留实质内容自然涌现时具体阐述
• 后续论文阐述 formal / definability / 可计算性阐述模式, 捕获基底内可定义不可计算数余项 — post-$L_1$ articulation candidate, 具体 layer 归属不预设
• 后续论文阐述非阿基米德横向分支阐述模式, 捕获类型 β 余项 ($p$-adic), 跟主轨平行发展, 不进入主轨后续 layer

各后续论文触发取决实质内容自然涌现, 不 deadline driven. SAE 数学系列以累积阐述原则发展, 不强 plan 后续 trajectory 的固定序列.

10.3 后续学科系列 trajectory

跟 Paper 2 § 11.7.1 阐述一致, 其他学科系列各自阐述网络内其他 (维度 × 路径) 节点 trajectory:

• 逻辑学系列 (真值维度 × 完整精确化路径加其他路径)
• 关系数学系列 (空间大小维度 × 部分精确化路径)
• 审美数学系列 (审美维度 × 持续敞开路径)
• 几何学系列 (空间几何维度 × 完整精确化路径)
• 集合学系列 (集合维度 × 完整精确化路径或其他路径): 标记把手为 "集合" 概念自身, 走集合 trajectory. $L_1$ 阐述模式可能含 naive set theory 阐述 (集合归属 / 子集 / 等价 / 操作等), $L_n$ 后续阐述可能含形式化集合论 (ZFC, NBG, Morse-Kelley 等) 跟它们的余项 (大基数 / 不可判定 statement / 等).

集合学系列跟 ZFCρ 关系: ZFC axioms 在 SAE 视角下有双重身份. 在集合学系列内, ZFC axioms (含 axiom of extensionality, axiom of infinity, axiom of choice 等) 实质内容是集合 trajectory 内某 $L_n$ 阐述模式的实质内容; 集合学系列阐述集合概念自身作实质主题. 在 ZFCρ (量 trajectory 加法路径 carrier) 内, ZFC axioms 被借用作 formalization vocabulary, 阐述量 trajectory 实质内容 (含 $L_1$ 余项迫使出的 actual infinity 等跨 $L_1$ 内容). 同一 ZFC axiom 在两 trajectory 下有不同实质位置 — 集合学系列下作集合 trajectory $L_n$ 阐述模式的实质内容; ZFCρ 下作量 trajectory formalization carrier 的工具. ZFCρ 是量 trajectory 加法路径选用集合论 vocabulary 作 formalization carrier 的具体 instance; 集合学系列则是阐述集合概念自身实质内容及其 trajectory 的独立 paper. 两者 trajectory 不同, 但都在 SAE 数学网络内平行发展.

• 伦理学系列候选 (伦理维度 × 持续敞开路径)
• 其他可能学科系列

各学科系列各阐述各自 trajectory, 跟 SAE 数学系列 (量维度 × 完整精确化路径) 平行发展. 各学科系列在 Paper 2 阐述框架下 cross-series 实质 grounded, 但各系列内部具体内容各自 develop, 不被 SAE 数学系列阐述限制.

SAE 数学网络的整体 structure (量维度 trajectory + 真值维度 trajectory + 几何维度 trajectory + 集合维度 trajectory + ... + 横向分支) 在多系列累积阐述过程中渐进涌现. 此网络结构不预设, 由各系列论文累积阐述自然展开. SAE 数学整体阐述工作不局限在本文阐述的量维度完整精确化路径 trajectory, 而是含网络内多 trajectory 的累积阐述. 本文是此累积阐述工作内的一篇论文, 焦点在量维度 $L_1$ 阶段.

致谢

感谢四 AI 协作者在 SAE 数学系列阐述 trajectory 内的实质 contributions:

• 子路 (Claude): 架构 coherence reviewer
• 子贡 (Grok): reality-check 与 stress-test reviewer
• 子夏 (Gemini): mechanism deep-read reviewer
• 公西华 (ChatGPT): structural hotfix 与 final signoff reviewer

SAE 系列方法论自 2024 年起 systematically 使用 4-AI 协作 review (四 AI 各自不同 reviewer 角色). reviewer 之间实质张力通过用户 (秦汉) 综合裁决形成最终阐述. 此 transparent acknowledgement 是 SAE 方法论 doctrine 的具体实现, 详 SAE methodology 系列论文.

四 AI 在本文 outline 与 v1 草稿阶段提供综合 review, sharpened 本文 v2 草稿在多处实质内容. 关键 sharpenings 含:

• 数学口径精化: $\mathbb{Q}^{\rm alg}_{\mathbb{R}}$ 作实闭域 (real closed field) 跟代数闭域 (algebraically closed field) 的区分; $L_1$ 阐述工具改 finite polynomial constraints over $\mathbb{Q}$ 不限 radicals; $i$ 跟 $p$-adic 余项不同类型 (方程式余项 vs 赋值选择余项) 的 table form 精确区分
• 阐述层级精化: 经典数学构造层级跟 SAE 阐述运作层级的防火墙 (§ 2); 经典 $\mathbb{R}$ 内部构造的实质成就的明确承认 (§ 2.3); $\mathbb{R}$ 作 emergent 基底跟 reference frame 内 anticipatory naming 的诚实承认 (§ 2.3); classical Cauchy 完备化 vs effective Cauchy 阐述两术语区分 (§ 7.2); Paper 1 关系阐述作实质范围精化 (§ 9.1)
• 分形登记纪律精化: 跨层阈口 / 层内分形 / 余项账本结构三类 sub-articulation 各自登记标准 (§ 8); 类 I 跟类 II mark-step 实质区分 (sub-step 1 mark 在 conceptual 层级 vs token 层级)
• 主体 Via Negativa 在绑定处的实例化作 SAE 解释层 (§ 1.3, § 4.4, § 5.2.3); Via Negativa 本体不预设代价 criterion 也不预设 value criterion, 信息压缩绑定阐述运作的两面 (processing capacity + 余项) 不阐述价值判断
• 主步骤 3 嵌套级联结构跟实闭域 vs 代数闭域实质区分 (§ 5.2.4, § 5.3)
• 加法路径无限累积余项 (potential vs actual infinity, § 4.2.4)
• 方法论 00 Via Rho 范围 sharpens (§ 9.4)
• 余项账本回看视角的 honest 承认 (§ 6.3.1); 余项嵌套结构 table form 阐述 (§ 6.3.2)
• 主步骤 1 跨层阈口性质的明确化, 跟主步骤 2 至 4 层内分形性质的区分; sub-fractal admission 维持诊断 status, 不强凑四步
• 数学社群当下 working practice 内 $\mathbb{R}$ 作默认 working ground 跟 SAE 视角实质立场的实质关系 (§ 9.6, 新一节); 集合 trajectory 作 SAE 数学网络内单独候选 trajectory 跟 ZFCρ (量 trajectory 选用集合论 vocabulary carrier) 的区分

本文阐述的具体内容反映四 AI 综合 review 的实质 contributions. 不同 AI 视角的张力 (例如独立子路 lean drop 主步骤 1 sub-fractal vs 用户阐述维持; 子贡 lean C1 hybrid ($\mathbb{R}$ 保 $L_1$) + push communicability 代价 vs 公西华接受 B-style rescoping 加防火墙) 在最终 outline 阶段通过用户综合裁决形成本文的具体阐述.

感谢 Paper 1 与 Paper 2 承继的 SAE 数学系列 foundation, 以及 SAE methodology 系列 (方法论 0 Negativa, 方法论 00 Via Rho, 方法论六 Phase-Transition Windows, 方法论十 The Four-fold Pattern, 等) 提供跨论文实质 grounding.

引用

• 秦汉 2026, SAE 数学奠基论文 (Paper 1, 经 Paper 2 重命名为客体性精确化模式), DOI: 10.5281/zenodo.20153791
• 秦汉 2026, SAE 数学 $L_0$ 数学样态 (Paper 2), DOI: 10.5281/zenodo.20199082
• 秦汉 2026, Methodology 0: Negativa, DOI: 10.5281/zenodo.19544620
• 秦汉 2026, Methodology 00: Via Rho, DOI: 10.5281/zenodo.19657440
• 秦汉 2026, Methodology 6: Phase-Transition Windows, DOI: 10.5281/zenodo.19464507
• 秦汉 2026, Methodology 10: The Four-fold Pattern, DOI: 10.5281/zenodo.20187591
• 秦汉 2026, Methodology Paper VII: Via Negativa, DOI: 10.5281/zenodo.19481305
• 秦汉 2026, Cross-Layer Closure Equations, DOI: 10.5281/zenodo.19361950