[Depreciated and replaced by V3] There Is No Nothing: How the No-Zero Axiom Forces a Universe That Cannot Be Empty
- 1Ernos Labs
Abstract
[Depreciated and replaced by V3] This pre-V3 paper is replaced by the corresponding V3 clean-room reconstruction: There Is No Nothing: A Premise-Free Operational Foundation and an Open Verification Platform for Smithian Fold Theory; From Nothing to Fold: A Premise-Free, Parameter-Free and Machine-Closed Foundation for Smithian Fold Theory. The V3 source platform is https://github.com/MettaMazza/ernos-labs-sft-platform. The original DOI, concept DOI, version number and files are preserved for transparent historical provenance; this record must not be presented or cited as current V3 work. Smithian Fold Theory begins with one machine-checked self-proven theorem: there is no nothing. Any denial of existence already occurs within a non-empty whole; an absent total domain cannot state its own absence. The act that could deny the theorem supplies the existence that proves it. From that self-proof the construction forces the One and the exact domain of positive parts (0,1]. A complete normal-form argument then exhausts the minimal parameter-free self-maps as identity, square, constant One and closed doubling. Identity is static, square contracts, constant One collapses and closed doubling alone is both non-injective and recurrent. The unique generator is therefore the fold, F(x) = cast_out(x+x). The engine's forced_unique guard halts if a rival qualifies. The displaced ground is forced as the unique positive self-antipodal solution of x+x=1: x=1/2. It folds to the One, while the One remains the fold's fixed point. The fold's exact orbit spectrum then supplies the binary and colour counts rather than receiving them as assumptions. Three self-contained machine certificates verify the unique generator, full registered residue-class coverage, the displaced ground and unison identities using exact arithmetic. The One began chronologically as the project's operational axiom and was subsequently derived. That history remains in the development audit, but the completed foundation is accurately stated as one self-proven theorem, zero axioms, zero fitted parameters and one uniquely forced fold. Open source and evidence: Smithian Fold Theory of Everything. Author and publication authority: Maria Smith, Ernos Labs.
Related
- An Honest Effect Size for Contingency Tables: Why Nothing Can Be Unbiased, Where to Put the Error Instead, and How to Route the Report
- Lens spaces that cannot be obtained by two integral surgeries
- Families of knots that cannot be made Legendrian parametrically
- A diameter-one set in ℝ5 that cannot be covered by six diameter-one balls
- Sequential and distributive dual futile cycle: Hopf bifurcation can occur under parameter-rich kinetics but cannot occur under mass action kinetics
BibTeX
@article{smith2026depreciated,
title = {{[Depreciated and replaced by V3] There Is No Nothing: How the No-Zero Axiom Forces a Universe That Cannot Be Empty}},
author = {Maria Smith},
journal = {Zenodo (CERN European Organization for Nuclear Research)},
year = {2026},
month = jun,
doi = {10.5281/zenodo.21035460},
url = {https://doi.org/10.5281/zenodo.21035460},
note = {CC BY},
}
RIS
TY - JOUR
TI - [Depreciated and replaced by V3] There Is No Nothing: How the No-Zero Axiom Forces a Universe That Cannot Be Empty
AU - Maria Smith
PY - 2026
DA - 2026/06/29
JO - Zenodo (CERN European Organization for Nuclear Research)
DO - 10.5281/zenodo.21035460
UR - https://doi.org/10.5281/zenodo.21035460
AB - [Depreciated and replaced by V3] This pre-V3 paper is replaced by the corresponding V3 clean-room reconstruction: There Is No Nothing: A Premise-Free Operational Foundation and an Open Verification Platform for Smithian Fold Theory; From Nothing to Fold: A Premise-Free, Parameter-Free and Machine-Closed Foundation for Smithian Fold Theory. The V3 source platform is https://github.com/MettaMazza/ernos-labs-sft-platform. The original DOI, concept DOI, version number and files are preserved for transparent historical provenance; this record must not be presented or cited as current V3 work. Smithian Fold Theory begins with one machine-checked self-proven theorem: there is no nothing. Any denial of existence already occurs within a non-empty whole; an absent total domain cannot state its own absence. The act that could deny the theorem supplies the existence that proves it. From that self-proof the construction forces the One and the exact domain of positive parts (0,1]. A complete normal-form argument then exhausts the minimal parameter-free self-maps as identity, square, constant One and closed doubling. Identity is static, square contracts, constant One collapses and closed doubling alone is both non-injective and recurrent. The unique generator is therefore the fold, F(x) = cast_out(x+x). The engine's forced_unique guard halts if a rival qualifies. The displaced ground is forced as the unique positive self-antipodal solution of x+x=1: x=1/2. It folds to the One, while the One remains the fold's fixed point. The fold's exact orbit spectrum then supplies the binary and colour counts rather than receiving them as assumptions. Three self-contained machine certificates verify the unique generator, full registered residue-class coverage, the displaced ground and unison identities using exact arithmetic. The One began chronologically as the project's operational axiom and was subsequently derived. That history remains in the development audit, but the completed foundation is accurately stated as one self-proven theorem, zero axioms, zero fitted parameters and one uniquely forced fold. Open source and evidence: Smithian Fold Theory of Everything. Author and publication authority: Maria Smith, Ernos Labs.
ER -