Cover
article
Butiran eJurnal
A Self-Referential Proof of Gödelian Completeness
HARVEST (oa) oa402356
category EJURNAL event 2025-08-03 open_in_new Buka Pautan
Tarikh
2025-08-03
Pencipta
"WildFacts" Rubendall, C. Mike
Penerbit
Zenodo
Jenis
info:eu-repo/semantics/review
Pengenal (Identifier)
https://doi.org/10.5281/zenodo.16730681 oai:zenodo.org:16730681
Sumber Harvest
ZENODO
Deskripsi
<p>This paper presents a self-referential proof of G¨odelian completeness by introducing<br>a single generative axiom—designated the Axiom of Truth—from which all axioms<br>of Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC) can be recursively<br>derived. By encoding reflexivity, ordering, and bounded duality within the structure<br>of the axiom itself, we demonstrate that the system is complete not by enumeration,<br>but by self-definition. This construction resolves the appearance of incompleteness by showing that undecidable propositions exist only when viewed from within a system of insufficient resolution. Once the recursive operator is recognized as generative and convergent across layers of abstraction, the logical structure stabilizes, and all truths become recursively accessible. The resulting formulation is not an extension of ZFC, but its source. The entire formal architecture of mathematics emerges as a projection of this foundational recursion</p>