| 1. Domain | 1.1 Scope of the Domain | Boundaries | The range of phenomena the science includes and excludes. | Studies the ZFC axiom system, transfinite recursion, ordinal-indexed stages of the von Neumann hierarchy, rank functions, and the formation of all sets through iterative cumulative stages; excludes non-well-founded set theories unless explicitly adopted. |
| | Scale | The spatial, temporal, or organizational level at which the science operates (e.g., quantum, cellular, social, cosmic). | Operates at the foundational scale: ordinals, cardinals, cumulative stages (V_\alpha), transfinite sequences, and universe-sized mathematical structures. |
| 1.2 Ontological Commitments | Entities | The kinds of things assumed to exist within the domain (particles, organisms, agents, fields, etc.). | Sets, ordinals, cardinals, cumulative hierarchy levels (V_\alpha), functions, relations, combinatorial structures, transfinite sequences, foundational axioms (ZFC). |
| | Properties | The fundamental attributes these entities possess (mass, charge, genotype, preference, etc.). | Well-foundedness, membership relations, rank, transfinite height, cardinality, definability within stages, closure under ZFC operations, regularity, extensionality. |
| | Categories | The basic ontological types used to classify domain elements (substances, processes, relations, structures). | Ordinals, cardinals, stages of the hierarchy (V_\alpha), rank classes, definability tiers, combinatorial principles, transfinite recursion operators. |
| 1.3 State-Variables | Variables | The measurable or definable properties that describe system conditions. | Assignment of sets to ranks, ordinal indices, cardinal values, membership chains, definability status, structural parameters of (V_\alpha). |
| | Parameterization | How variables encode and represent the system’s state. | Encoding system states via ordinal height, rank, cumulative stage (V_\alpha), definability predicates, and the membership structure ( \in ). |
| 1.4 Admissible Idealizations | Simplifications | Conceptual reductions used to make the domain tractable (point masses, rational agents, perfect gases). | Treat the universe as well-founded; assume ZFC holds; idealize hierarchies as strictly cumulative; ignore alternative foundations unless explicitly included; assume classical logic. |
| | Validity Conditions | The limits and contexts in which idealizations hold or break down. | Break down in non-well-founded set theories, anti-foundation axioms, class-sized constructions beyond ZFC, or models that violate Replacement or Power Set. |
| 1.5 Domain Assumptions | Structural Assumptions | Background ontological stances such as determinism, continuity, randomness, discreteness. | Assumes ZFC as the governing axioms, well-foundedness of membership, transfinite induction/recursion, cumulative stratification of sets, extensionality, classical semantics. |
| | Implicit Commitments | Unstated but necessary assumptions that shape the field’s conceptual structure. | Assumes existence of an ordinal-indexed universe, stability of rank assignments, definability aligned with hierarchy, and coherence of iterative construction across all stages. |
| 1.6 Internal Coherence Requirements | Consistency | The demand that domain concepts do not contradict one another. | Requires axioms of ZFC to be non-contradictory; cumulative hierarchy must maintain internal coherence; rank and membership must align across all levels (V_\alpha). |
| | Compatibility | The requirement that entities, variables, and assumptions fit together into a unified descriptive framework. | Requires compatibility of axioms, rank functions, ordinals, cardinals, definability classes, and transfinite recursion; all components must integrate within a unified set-theoretic universe. |
| 2. Evidence Layer | 2.1 Observable Phenomena | Observables | The aspects of the domain that can produce detectable signals accessible to measurement. | Rank of sets, ordinal progression, transfinite recursion behavior, membership patterns, well-founded chains, combinatorial principles derived from ZFC, consequences of axioms. |
| | Detection Limits | The boundaries of what can be resolved or sensed by current instruments or methods. | Limits imposed by first-order ZFC: inability to quantify over proper classes, undecidability of CH, limits of definability inside the hierarchy, inability to detect global properties beyond ZFC’s expressive strength. |
| 2.2 Measurement Systems | Units | Standardized quantifications (meters, seconds, volts, decibels, dollars, etc.) necessary for consistent comparison. | Ordinals, cardinals, rank values, cumulative levels ( V_\alpha ), transfinite lengths, combinatorial cardinal characteristics. |
| | Instruments | Devices and tools (microscopes, spectrometers, sensors, surveys, detectors) used to produce measurements. | Axioms of ZFC, transfinite recursion schemas, rank functions, reflection principles, model-theoretic methods (constructing models of set theory), forcing interpretations (when relevant). |
| 2.3 Operational Definitions | Definitions | Terms defined by specific measurement procedures, ensuring empirical clarity. | Formal definitions of ordinals, cardinals, rank, cumulative hierarchy (V_\alpha), well-foundedness, transfinite sequences, sets generated by ZFC axioms. |
| | Procedures | The explicit steps required to perform a measurement in a reproducible way. | Performing rank computations, applying transfinite recursion, constructing cumulative stages (V_\alpha), checking well-foundedness, deriving consequences from ZFC axioms. |
| 2.4 Data Acquisition | Protocols | Formal processes for gathering data under controlled or standardized conditions. | Building models of fragments of ZFC, generating cumulative stages, analyzing combinatorial consequences, applying reflection or separation principles, examining ordinal/cardinal behavior. |
| | Sampling | Rules determining which subset of the domain is measured and how representative it is. | Selecting representative levels (V_\alpha), sampling definable subsets of ranks, analyzing specific ordinals/cardinals, examining subuniverses satisfying fragments of ZFC. |
| 2.5 Data Character & Format | Data Types | The form raw evidence takes (time series, spectra, images, counts, qualitative records). | Ordinals, cardinals, rank sequences, cumulative hierarchy snapshots, membership diagrams, transfinite recursion outputs. |
| | Resolution | The granularity or precision with which data is captured. | Determined by fineness of rank distinctions, ordinal granularity, precision of definability classes, and expressive limits of ZFC. |
| 2.6 Reliability & Calibration | Calibration | Adjustment procedures ensuring instruments produce accurate results. | Verifying rank correctness, checking transfinite recursion consistency, ensuring axioms produce intended hierarchy levels, validating well-foundedness and extensionality. |
| | Error Characterization | Identification and quantification of noise, uncertainty, bias, and measurement error. | Misassigned ranks, ill-founded constructions, incorrect ordinal/cardinal computations, failures of recursion, contradictions revealed in axiom interactions, definability misclassifications. |
| 3. Structural Layer | 3.1 Patterns & Regularities | Laws / Relations | Stable, repeatable patterns governing how observables behave across conditions. | Iteration of cumulative hierarchy stages (V_\alpha); transfinite recursion rules; replacement and separation patterns; ordinal induction; rank monotonicity; extensional membership structure. |
| | Invariants | Quantities or properties that remain constant under transformations (symmetries, conservation laws). | Ordinals as canonical well-ordered types; cardinalities; rank invariants; well-foundedness; extensionality; closure under ZFC operations; invariance of hierarchy under isomorphisms. |
| 3.2 Causal Architecture | Mechanisms | Underlying processes or structures that produce the observed regularities. | Mechanisms generating the hierarchy: power-set operation, transfinite recursion, successor and limit stage formation, rank assignment, combinatorial principles derived from axioms. |
| | Pathways | Organized sequences of interactions forming a causal chain or network. | Successor construction (V_{\alpha+1} = \mathcal{P}(V_\alpha)); limit-stage unions; ordinal progression; definability refinement; cumulative layer-by-layer growth of the universe. |
| 3.3 Theoretical Vocabulary | Concepts | Core terms that encode the domain’s structure (force, gene, equilibrium, field). | Set, class, ordinal, cardinal, rank, transfinite recursion, (V_\alpha) hierarchy, well-foundedness, replacement, power set, foundation, extensionality. |
| | Classifications | Taxonomies, categories, or typologies that organize entities and relations. | Finite vs. transfinite stages; successor vs. limit ordinals; small vs. large cardinals (within ZFC constraints); definability classes; cumulative layers; hierarchies by rank. |
| 3.4 Formal Representations | Equations | Mathematical constructs expressing laws, relations, or mechanisms. | Rank equations (\mathrm{rank}(x)); recursive definitions (V_{\alpha+1} = \mathcal{P}(V_\alpha)); union at limits (V_\lambda = \bigcup_{\beta < \lambda} V_\beta); formal ZFC axiom schemata. |
| | Models | Structured representations—mathematical, computational, or conceptual—used to predict and explain phenomena. | Standard cumulative hierarchy (V); models of fragments of ZFC; transitive models; inner models (restricted to ZFC context); well-founded membership structures. |
| 3.5 Idealized Structures | Simplified Models | Purposeful abstractions that capture essential dynamics while omitting irrelevant detail. | Pure cumulative hierarchy fragments; finite-rank universes; toy models illustrating rank growth; simplified transfinite sequences; idealized well-founded graphs. |
| | Limit Conditions | Regimes where specific models or approximations hold (classical vs. quantum, linear vs. nonlinear). | Breakdowns in non-well-founded theories; failures when power-set or replacement is removed; limitations in models lacking sufficient ordinals; issues at large cardinal boundaries (within ZFC horizons). |
| 3.6 Integrative Frameworks | Unifying Theories | Higher-order structures that connect disparate laws or mechanisms under a coherent whole. | ZFC as the foundational unifier; cumulative hierarchy as the master structural framework; ordinal arithmetic as the backbone; transfinite induction tying all stages together. |
| | Interdisciplinary Links | Points where the theory connects to adjacent sciences or larger explanatory systems. | Links to logic (proof theory, model theory), algebra (cardinality theory), topology (ordinal spaces), computer science (recursion theory), and category theory (universe constructions). |
| 4. Method Layer | 4.1 Inquiry Design | Experimental Design | Structured plans for manipulating variables to test causal claims. | Varying axioms (e.g., removing Replacement), modifying rank constructions, or limiting recursion schemas to test structural consequences within the hierarchy. |
| | Observational Design | Systematic approaches for gathering non-manipulated data (surveys, field studies, natural experiments). | Observing natural behavior of sets under ZFC without altering axioms: tracking ordinal growth, rank formation, cardinal progression, and definability across stages. |
| 4.2 Testing & Validation | Hypothesis Testing | Procedures for evaluating whether evidence supports or contradicts specific claims. | Testing consistency of axioms relative to one another; checking consequences of transfinite recursion; evaluating rank computations; verifying well-foundedness or extensionality in constructed models. |
| | Replication | The requirement that results be independently reproducible under similar conditions. | Reproducing rank assignments, ordinal progressions, and cumulative constructions across different models; checking that ZFC consequences recur identically in transitive models. |
| 4.3 Inference & Evaluation | Statistical Inference | Rules for drawing conclusions from noisy or incomplete data. | Logical analogues: evaluating frequency of definability at ranks, comparing combinatorial patterns across levels, analyzing growth of cardinal arithmetic, assessing robustness of transfinite constructions. |
| | Model Comparison | Criteria (fit, simplicity, predictive accuracy, robustness) used to evaluate competing models. | Comparing models of ZFC or fragments thereof by rank behavior, cardinal structure, definability spectra, presence/absence of certain sets, or degree of closure under ZFC operations. |
| 4.4 Error Management | Error Analysis | Identification and quantification of random and systematic errors. | Identifying contradictions in axiom combinations, misapplied recursion, incorrect ordinal assignments, malformed rank definitions, or improper use of class-sized constructions. |
| | Bias Control | Methods for minimizing subjective, instrumental, or procedural biases. | Avoiding selective focus on lower ranks; preventing model-choice bias; ensuring expansions or restrictions of ZFC are applied symmetrically; avoiding hidden assumptions about cardinal arithmetic. |
| 4.5 Adjudication & Revision | Peer Scrutiny | Collective evaluation of claims through critique, review, and debate. | Evaluation of axiom consistency arguments, transfinite constructions, rank computations, and foundational claims by the set-theoretic community. |
| | Theory Revision | Procedures for modifying, replacing, or discarding models based on new evidence. | Modifying axioms (e.g., adding large cardinal assumptions), strengthening recursion principles, refining rank definitions, or altering separation/replacement schemas after discovering new implications. |
| 4.6 Integrity Conditions | Transparency | Requirements to disclose methods, data, assumptions, and limitations. | Full disclosure of axiom choices, model assumptions, rank constructions, recursion methods, and definability constraints. |
| | Ethical Standards | Norms ensuring responsible conduct in experimentation, data handling, and publication. | Accurate reporting of consistency results, honest representation of undecidable propositions, avoidance of misleading foundational claims, and proper attribution of canonical constructions. |