χ Faith thru Physics
Verified — — — —
▼
Axiom Coverage
Axioms Tested —/188
Coverage —%
Ten Laws Mapping
L1 Gravity/Grace L2 Mass/Meaning L3 EM/Truth L4 Strong/Love L5 Thermo/Judgment L6 Info/Logos L7 Quantum/Faith L8 Relativity/Relationship L9 Weak/Conservation L10 Coherence/Christ
Chi Coherence Score
Raw Score —
Normalized —/10
Fruits Score —/9
Isomorphism Detection
Cross-Domain Bridges —
Physics Processes —
Trinity Mappings —
Master Eq Variables —/10
Claims & Kill Conditions
Claims Extracted —
Load-Bearing —
Kill Conditions —
Contradictions —
Domain Distribution
Full Proof Explorer →
Math Layer
← Prev
Article Classification
Next →

Terminus Sui

Five theorems from five fields. Different instruments, same structural limit:no closed system can close itself.

The Five Proofs of Incompleteness
Read Aloud
0:00
Deep Dive
0:00
Podcast
0:00
Critique
0:00

The Five Proofs

Each proof below was discovered independently. None of them set out to prove God. Each one simply asked a limited, technical question — and found that the answer required something outside the system being studied.

1. Gödel — Incompleteness

Any consistent formal system powerful enough to express arithmetic contains true statements it cannot prove. Consistency and completeness cannot coexist.

Read the plain-language walkthrough →

2. Tarski — Undefinability of Truth

A language cannot define its own truth predicate without producing paradox. The concept of "truth" for a system must be supplied from a metalanguage outside it.

3. Turing — Undecidability

No general algorithm can determine whether an arbitrary program will halt. Prediction of the system's own behavior requires something the system cannot contain.

4. Second Law of Thermodynamics

Entropy in an isolated system never decreases. Order decays, information dissipates, and usable energy runs downhill — irreversibly.

See why the universe hasn't reached heat death →

5. Landauer's Principle

Erasing one bit of information costs kT·ln(2) joules. Information is physical, and processing it has an irreversible thermodynamic price.

Read why thought costs energy →

The Shared Structure

Every proof has the same shape: draw a box around any finite system, and the box leaks. It needs an outside source for consistency, truth, predictability, order, and even the ability to process information. The universe has all of these — and has had them for 13.8 billion years. Either it is the exception to five proven theorems, or it was never a closed box.

Therefore

If the universe is not a closed system, then something outside it sustains it. The five proofs do not tell us what that something is. They only make one thing unavoidable: something is.

Final Audit

Every page ends with the same three-part check: what we got right, what we overstated, and what we got wrong.

Epistemic covenant: we present these claims as openly, fairly, and truthfully as we can. The evidence can be checked, the mechanisms can be challenged, the proof burden is named. Where the work moves from how the science behaves to why it means something, the choice is stated. We think the pattern is worth believing, but we will not hide where faith begins.

What We Got Right

  • Load-bearing claims, clear definitions, and the parts that clearly survived the check.

What We Overstated

  • Strong direction, but the language ran ahead of the evidence or the proof.

What We Got Wrong

  • Claims that need correction, tightening, or weaker formulation.
Proof & Research
The Math Behind the Claims

Master Equation

10 variables

Isomorphisms

38 mappings

Proof Explorer

Claims + grades

Rigor Cards

Bible + MDA

Lean 4 Proofs

267 theorems

Reference & Media
Everything Else

Glossary

300+ terms

Media Gallery

Visuals + slides

Podcast

Episodes + feed

Audio Library

TTS + narration

Paper Grader

NLP scoring

χ = f(G, M, E, S, T, K, R, Q, F, C)

Faith Through Physics · David Lowe · 2026

Plant the Flag · POF 2828

(c) 2024–2026 David Lowe — Faith Through Physics

"The truth will defend itself. Your job is to say it clearly."

15 + 15 = 100
Our inputs don't match our outputs. That's the point.