diff --git a/godel_noncommutativity_proof.md b/godel_noncommutativity_proof.md
new file mode 100644
index 0000000..1543dc2
--- /dev/null
+++ b/godel_noncommutativity_proof.md
@@ -0,0 +1,83 @@
+
+# Gödel Incompleteness Necessitates Observable Non-Commutativity in a Self-Referential Quantum Universe
+
+## Abstract
+
+We prove that in any universe modeled as a self-contained formal system expressive enough to encode arithmetic, Gödel's incompleteness theorem implies that certain quantum observables must be non-commutative. Assuming a correspondence between logical propositions and quantum observables, undecidable propositions give rise to incompatible measurements, manifesting as non-commuting operators. A toy formal system and observer model are constructed to support the argument.
+
+## 1. Toy Formal System with Arithmetic and Observables
+
+Define the annihilation and creation operators:
+
+```
+a, a†
+```
+
+With number operator:
+
+```
+N = a† a
+```
+
+And commutation relations:
+
+```
+[a, a†] = 1
+[N, a] = -a
+[N, a†] = a†
+```
+
+Define quantum observables:
+
+```
+x = sqrt(ħ / 2) * (a + a†)
+p = i * sqrt(ħ / 2) * (a† - a)
+```
+
+These satisfy:
+
+```
+[x, p] = iħ
+```
+
+This system encodes successor-like behavior, supports countable basis states |n⟩, and supports number-based arithmetic.
+
+## 2. Modeling Observers as Subsystems
+
+Let |O⟩ be an observer state and |n⟩ a system state. Their joint state is:
+
+```
+|Ψ⟩ = |O⟩ ⊗ |n⟩
+```
+
+An observation operator is defined as:
+
+```
+M ⊗ N
+```
+
+Representing an observer measurement of the system's number operator N.
+
+## 3. Gödel Implies Non-Commutativity
+
+### Assumptions
+
+1. The universe is a formal system 𝔽 expressive enough to encode Peano arithmetic.
+2. All observables correspond to propositions in 𝔽.
+3. Measurement corresponds to evaluation of proposition truth.
+
+### Proof Steps
+
+1. By Gödel’s theorem, there exists an undecidable proposition G ∈ 𝔽.
+2. Let A_G be an observable corresponding to G. Its truth cannot be resolved from within 𝔽.
+3. Let B be an observable corresponding to a decidable proposition Q ∈ 𝔽, which depends on the truth of G.
+4. Since G is undecidable, the system cannot simultaneously resolve both A_G and B.
+5. Therefore, [A_G, B] ≠ 0.
+
+### Conclusion
+
+Gödel incompleteness implies the existence of non-commuting observables in a self-referential formal universe.
+
+```
+Gödel Incompleteness ⇒ ∃ A, B such that [A, B] ≠ 0
+```