Ground Zero: A Typed Absence Ontology for Arithmetic, Computation, and Physical Interpretation

Open Research and Development Laboratories

Research White Paper

Title: Beyond Zero: A Typed Absence Ontology for Arithmetic, Computation, Dimensional Measurement, and Physical Interpretation

Authoring Authority: Open Research and Development Laboratories, ORDL

Principal Originator: Aaron Marshall Ferguson, Winsock

Research Classification: Public research draft, foundations of mathematics, computation semantics, philosophy of physics

Version: 0.1.0 working draft

Date: 2026-06-04

Canonical Publication Candidate: https://ordl.org

---

ORDL Research Header

Open Research and Development Laboratories advances deterministic, human-governed research into systems, mathematics, computation, security, and physical interpretation. This document is a working research artifact prepared for review, criticism, refinement, and eventual public release.

This paper does not ask the reader to accept a conclusion by authority. It proposes a formal distinction, defines a candidate ontology, explores consequences, and identifies what must be proven, challenged, or experimentally tested.

---

Abstract

Modern mathematics uses the symbol 0 across several distinct conceptual roles: empty quantity, additive identity, placeholder digit, coordinate origin, measurement baseline, cancellation result, null state, false state, and sometimes an informal marker for nothingness. These roles are operationally useful, but they are not semantically identical. This paper proposes a typed absence ontology that separates true nonexistence from zero-like operational states.

The central claim is that conventional notation compresses multiple absence-adjacent meanings into one symbol, creating ambiguity in arithmetic interpretation, computation, measurement, dimensional reasoning, temporal modeling, and physical language. The proposed framework treats true absence as non-numeric, defines existence as beginning at the first positive value, and models cancellation as annihilation into absence rather than production of a numeric zero.

The proposal further explores a zero-free successor notation in which 0 is not a value digit and the count sequence advances from 9 directly to 11. Under this notation, 9 + 1 = 11 and 9 + 9 = 19, where these symbols are not interpreted as ordinary decimal symbols but as members of a different value progression. This is not merely a typographic preference. It raises the deeper question of whether inherited zero-bearing notation has conflated absence, value, and positional representation.

The paper argues that even if conventional mathematics remains operationally successful, a typed absence model may provide sharper semantics for software systems, physical interpretation, quantum language, measurement theory, and future mathematical foundations. The strongest defensible thesis is not that all prior mathematics is useless, but that current systems frequently obscure distinct states under 0, and that this obscurity may limit conceptual precision.

---

Executive Thesis

The thesis of this research is:

**True absence is not a number. It is the nonexistence of value. Any mathematical, computational, or physical system that represents true absence as the same kind of object as an existent quantity is compressing categories that should remain distinct.**

This produces a secondary thesis:

**The symbol 0 has become overloaded. It is used for true absence, empty measure, operational identity, placeholder, cancellation, equilibrium, origin, baseline, falsehood, nullness, and non-detection. These are not one state. They are a family of distinct states requiring typed treatment.**

The proposed correction is not simply to delete 0 from mathematics. The proposed correction is to separate every zero-like meaning into its proper type.

---

1. Motivation

The ordinary statement x - x = 0 is treated as foundational. It says that any value minus itself yields zero.

Under the absence ontology proposed here, this statement hides a category error.

If x is an existent quantity, and the entirety of x is removed by subtracting itself, then the remaining state is not another existent value. It is absence of the original quantity. The result is not a positive object called zero. It is the disappearance of the value-state.

Thus:

x - x = ∅

where ∅ means true absence, nonexistence, or no value-state.

This distinction matters because many systems behave differently depending on whether a state is absent, empty, balanced, canceled, undetected, or merely measured relative to an origin.

In software, 0, null, false, empty string, empty array, missing field, and undefined value are not identical.

In physics, zero velocity, zero net force, zero charge, zero displacement, zero probability amplitude, and vacuum state are not identical.

In measurement, a reading of zero is not always absence. It can mean below threshold, balanced input, instrument baseline, clipped sensor, null result, or actual measured none.

The proposed ontology begins from that observation.

---

2. Historical Origin of Number and Pattern Recognition

Mathematics did not begin as symbolic algebra. It likely began as recognition.

A species encounters repeated separateness:

• one object here
• another object there
• the same kind, but not the same instance
• repeated cycles of day and night
• recurring seasons
• paired tracks
• matching stones
• groups of animals
• patterns that persist through time

Before number, there is pattern.

Before arithmetic, there is recognition of sameness and difference.

A foundational primitive can be stated as:

This and that are separate, yet similar enough to be grouped.

From that recognition, a count emerges. The count is not originally an abstract numeral. It is an act of distinguishing repeated entities while preserving the pattern that binds them.

This paper therefore treats mathematics as emerging from the recognition of:

• entity
• separation
• repetition
• similarity
• difference
• grouping
• temporal recurrence
• transformation
• mirror relation
• persistence through change

The origin of number is not nothing. The origin of number is the recognition of existence and repeated distinction.

Under this view, existence begins at 1, not 0.

0 is not the first number. It is the absence of a number-state.

---

3. Problem Statement

Conventional mathematics uses 0 as a member of the number system. This is powerful and productive. It enabled positional notation, algebraic identities, coordinate systems, calculus, computation, and modern science.

However, the same symbol also carries meanings that are semantically separate:

| Symbolic use of 0 | Meaning actually intended | |---|---| | 0 apples | no apples present | | x - x = 0 | cancellation or annihilation of quantity | | 10 | positional placeholder in decimal notation | | t = 0 | chosen temporal origin | | x = 0 | coordinate origin or reference point | | v = 0 | no relative motion in a frame | | F_net = 0 | balanced forces, not absence of force | | 0 V | voltage reference or ground | | P = 0 | impossible, unobserved, rounded, or modeled probability | | null mapped to 0 | missing data collapsed into numeric value | | binary 0 | low state, false state, or absence bit depending on context |

These are not the same state.

The problem is not that conventional mathematics cannot compute. It clearly can. The problem is that its symbolic compression may hide ontological distinctions that matter for interpretation, computation, and physical modeling.

---

4. Definitions

4.1 True Absence

∅ denotes true nonexistence of value. It is not a number. It is not a member of the positive value domain. It cannot be added as a quantity, multiplied as a quantity, or used as a divisor.

4.2 Existent Value

An existent value is a positive quantity-state. In the simplest arithmetic domain:

E = {1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, ...}

The notation shown here is zero-free successor notation and must not be read as ordinary decimal.

4.3 Cancellation

Cancellation is the complete removal of an existent value by an equal opposing operation.

x - x = ∅

Cancellation does not produce a numeric object. It removes the value-state.

4.4 Balance

Balance is a state where existent opposing factors produce no net directional effect. Balance is not absence.

Example:

Two equal opposing forces do not mean no forces exist. They mean the net effect is balanced.

4.5 Origin

An origin is a chosen reference marker. It is not true absence.

t = 0 in a physics problem does not mean time does not exist. It means a coordinate system begins measurement at that event.

4.6 Placeholder

A placeholder is a symbolic device used to preserve positional structure. It is not true absence and not necessarily a value.

4.7 Measurement Zero

A measurement zero is an instrument or model reading. It may mean baseline, non-detection, lower threshold, cancellation, absence, or reference equality. It must be typed.

---

5. Core Axioms

Axiom A1: Absence Non-Numericity

∅ is not a number.

Axiom A2: Existence Begins at One

The first existent countable value is 1.

Axiom A3: No Creation from Absence

No operation over absence alone may produce existence.

∅ + ∅ = ∅

Axiom A4: Self-Subtraction Annihilates

For every existent value x:

x - x = ∅

not numeric zero.

Axiom A5: Absence Cannot Be a Divisor

For every existent value x:

x / ∅ is undefined or invalid.

Axiom A6: Absence May Be Non-Participatory

If an operation means adding no participant to an existent value, then:

x + ∅ = x

This does not make ∅ a number. It means absence did not participate.

Axiom A7: Balance Is Not Absence

If two or more existent states cancel at a net-effect layer, the system must distinguish net balance from true absence.

Axiom A8: Origin Is Not Absence

Coordinate and temporal origins are reference choices, not ontological nonexistence.

Axiom A9: Placeholder Is Not Value

A placeholder symbol may organize representation but must not be confused with an existent quantity.

Axiom A10: Typed Zero-Like States

Any zero-like state must be explicitly typed as absence, cancellation, origin, placeholder, baseline, equilibrium, non-detection, falsehood, empty container, or another defined category.

---

6. Zero-Free Successor Notation

A zero-free successor notation rejects 0 as a value digit.

The sequence begins:

1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21, 22, ...

The transition:

9 -> 11

is one successor step.

It is not two increments.

It does not pass through 10.

There is no 10 value-state in the notation because 0 is not permitted as a value digit or placeholder value.

Examples:

2 + 2 = 4

9 + 1 = 11

9 + 9 = 19

The expression 9 + 9 = 19 is not ordinary decimal. It is a result inside the zero-free successor notation.

---

7. Arithmetic Consequences

7.1 Addition

Addition over existent values remains valid.

1 + 1 = 2

2 + 2 = 4

9 + 1 = 11

9 + 9 = 19

Addition over absence alone produces no existence.

∅ + ∅ = ∅

7.2 Subtraction

Subtraction becomes partial or typed.

4 - 2 = 2

9 - 1 = 8

11 - 1 = 9

x - x = ∅

If negative values are desired, they require a separate anti-value or debt ontology. They cannot be casually derived from absence.

7.3 Multiplication

Multiplication of existent values remains repeated addition.

2 * 2 = 4

9 * 2 = 19

Multiplication by absence is non-productive:

∅ * x = ∅

x * ∅ = ∅

7.4 Division

Division of existent values may be defined where appropriate.

4 / 2 = 2

Division by absence is invalid:

x / ∅ is undefined.

7.5 Equality

Equality must distinguish value equality from state identity.

Conventional equality often hides whether a result is a value, a reference, a balance, or an absence. Typed equality should preserve state category.

---

8. Impact on Computation

Computing systems already struggle with overloaded zero-like states.

Common distinct states include:

• numeric zero
• null pointer
• false boolean
• empty string
• empty list
• missing field
• undefined value
• zero-length buffer
• zero timestamp
• epoch origin
• sentinel value
• mask value
• padding value

Many software defects arise when these states are collapsed.

A typed absence ontology would require systems to distinguish:

| Conventional representation | Typed interpretation | |---|---| | 0 | numeric baseline, if allowed | | null | no object reference | | false | boolean negative | | [] | empty container | | missing field | absent data | | zero timestamp | epoch marker or invalid timestamp | | zero vector | null vector, balance state, or origin vector depending on context |

This would likely improve semantic correctness in software, especially in databases, AI systems, medical systems, financial ledgers, safety systems, and scientific data pipelines.

However, it would require major adaptation. Existing machines are deeply built around binary states using 0 and 1. A typed absence framework would not necessarily require destroying binary computing, but it would require stricter semantics around what each zero-like state means.

---

9. Impact on Dimensional Measurement and Time

Dimensional systems often use zero as a coordinate reference.

Examples:

• x = 0
• y = 0
• z = 0
• t = 0

In conventional use, these are reference coordinates, not literal nonexistence.

A typed absence ontology would require:

| Conventional phrase | Typed correction | |---|---| | zero position | coordinate origin | | zero time | temporal reference event | | zero displacement | no measured displacement relative to reference | | zero velocity | no relative motion in chosen frame | | zero acceleration | no change in velocity relative to frame | | zero net force | force balance or no resultant acceleration |

This could improve conceptual precision in physics education, modeling, and interpretation.

The distinction is especially important for time. A temporal origin is not absence of time. It is a chosen marker. Similarly, a process with no observed change is not necessarily outside time. It may be static relative to a measurement frame.

---

10. Impact on Physics

Physics often uses zero as a compact statement for several distinct physical realities.

10.1 Force

F_net = 0 may mean balanced forces, not absence of force.

A book resting on a table has gravitational and normal forces. The net force may be written as zero, but forces exist.

Typed interpretation:

F_net = Balance(F_gravity, F_normal)

not true absence.

10.2 Energy

Zero energy is often a reference choice. Systems may define potential energy relative to arbitrary baselines.

Typed interpretation:

E_reference = Origin_E

not universal nonexistence of energy.

10.3 Charge

Net zero charge may mean equal positive and negative components, not absence of charged constituents.

Typed interpretation:

Q_net = Balance(Q_positive, Q_negative)

10.4 Motion

Zero velocity is frame-dependent. An object at rest relative to one observer may move relative to another.

Typed interpretation:

v = Rest(relative_frame)

not motion nonexistence in an absolute sense.

---

11. Impact on Quantum Physics

Quantum mechanics is one of the strongest areas for typed absence analysis because its language already strains ordinary notions of nothing.

11.1 Vacuum Is Not Nothing

The quantum vacuum is not simple emptiness. It has fields, ground states, fluctuations, constraints, and measurable consequences.

Typed interpretation:

Vacuum != ∅

The vacuum is an existent field state, not true nonexistence.

11.2 Zero-Point Energy

Zero-point energy is not absence of energy. It is a minimum ground-state behavior under a given physical model.

Typed interpretation:

E_zp = GroundState(E)

not absence.

11.3 Particle Annihilation

Particle-antiparticle annihilation does not necessarily produce nothing. It often transforms into photons or other products.

Typed interpretation:

Annihilation(a, anti-a) -> Transformation(products)

Only if no products and no state remain would it approach true absence, and that claim would require evidence.

11.4 Zero Probability Amplitude

A zero amplitude may mean a forbidden path, destructive interference, or model exclusion. These are distinct.

Typed interpretation:

Amplitude_0 = Forbidden | Canceled | Unmodeled | Non-detected

The category must be explicit.

---

12. Does This Make Current Mathematics Wrong?

There are three possible interpretations.

Interpretation 1: Notational Reform

If the proposal is only a change in numeral symbols, conventional arithmetic values remain valid but are written differently.

Interpretation 2: Semantic Refinement

If the proposal says conventional 0 is overloaded, then current mathematics is operationally useful but semantically imprecise.

This is the strongest initial research position.

Interpretation 3: Ontological Replacement

If the proposal says conventional mathematics assigns false value reality by treating absence as a number, then major portions of mathematics require reconstruction.

This is the most radical position and requires the most proof.

This paper recommends beginning with Interpretation 2 as the defensible public thesis, while preserving Interpretation 3 as a research horizon.

---

13. Objections and Responses

Objection 1: Conventional mathematics works.

Response: Yes. Operational success is not denied. The claim is that 0 compresses multiple meanings. A system can work while still hiding semantic distinctions.

Objection 2: Zero is necessary for algebra.

Response: Conventional algebra uses zero as additive identity. The proposed system distinguishes identity-like non-participation from true absence. Algebra may be reconstructed with typed identity states.

Objection 3: This is just notation.

Response: Some parts are notation. The deeper proposal is not notation but ontology: absence, cancellation, balance, origin, placeholder, and null state are different types.

Objection 4: x - x = 0 is obviously true.

Response: It is true inside conventional arithmetic. The proposed ontology asks whether the result of total self-removal should be a numeric object or a non-value state.

Objection 5: Physics depends on zero.

Response: Physics depends on reference points, baselines, balances, and modeled nulls. The proposal asks that those be typed rather than collapsed.

Objection 6: Removing zero breaks computers.

Response: Removing all zero-like states would break computers. Typing zero-like states may improve computing by preventing category collapse.

---

14. Falsification and Validation Path

A serious research program must define what would count as success or failure.

14.1 Internal Consistency

The formal system must avoid contradiction.

Questions:

• Can operations be defined consistently?
• Can cancellation be modeled without numeric zero?
• Can identity-like behavior exist without making absence a number?
• Can negative values be introduced without category collapse?

14.2 Translation Power

The system must translate conventional arithmetic and identify where semantics differ.

14.3 Computational Usefulness

Typed absence should reduce bugs or ambiguity in software systems.

Possible experiment:

Build a typed absence programming library and test against known zero-null-false bugs.

14.4 Physical Interpretive Usefulness

The framework should clarify physical examples where zero is ambiguous.

Possible experiment:

Create typed models for force balance, reference energy, vacuum state, and measurement non-detection.

14.5 Predictive Superiority

The strongest claim requires improved prediction or explanation beyond conventional models.

Until that exists, the paper should present the framework as a semantic and ontological research program, not a completed replacement for mathematics.

---

15. Research Roadmap

Phase 1: Formal Definitions

Define all absence-like types.

Phase 2: Arithmetic Kernel

Construct addition, subtraction, multiplication, division, comparison, and successor rules.

Phase 3: Translation Layer

Map conventional decimal expressions into typed absence expressions.

Phase 4: Computation Prototype

Create a small interpreter or calculator for zero-free successor notation and typed absence arithmetic.

Phase 5: Physics Case Studies

Apply the framework to:

• force balance
• temporal origin
• coordinate systems
• vacuum state
• quantum cancellation
• measurement non-detection

Phase 6: Peer Review Release

Publish on ORDL, GitHub, and optionally OSF or Zenodo. Invite mathematicians, philosophers of mathematics, physicists, computer scientists, and systems engineers to critique.

---

16. Conclusion

The central insight of this paper is simple:

Nothing is not a thing.

If that statement is taken seriously, then true absence cannot be treated as an ordinary numeric value. Yet modern symbolic systems often compress true absence, cancellation, placeholder, origin, balance, baseline, and null state under the same symbol: 0.

This compression is powerful, but it is not semantically clean.

A typed absence ontology offers a path to separate these concepts. It preserves the operational strength of existing mathematics where appropriate while exposing places where language, computation, and physical interpretation may be conflating distinct states.

The research is not complete. It requires formalization, criticism, modeling, and testable applications. But the starting point is strong enough to warrant serious investigation:

Existence begins at value. Absence is not value. Cancellation is not creation. Balance is not nothing. Origin is not nonexistence. Placeholder is not quantity.

That distinction may matter.

---

ORDL Research Footer

Prepared under ORDL deterministic research protocol for public review and continuation.

Open Research and Development Laboratories

Operator Winsock, Aaron Marshall Ferguson

https://ordl.org

Research status: working draft, not final peer-reviewed publication.