Lean verification registry · Authored proofs · The Logos Architecture
Written formal sequents verified
Axiom-free: true · 1 checked theorem statements.
Lean establishes the listed formal statements and dependencies. The exact authored source, Ground, known premise meanings, application validation and empirical evidence remain separately typed. No unencoded section is certified by a neighboring theorem.
Original source author: Maclain Hunter. Machine formalization: Replit Agent. No original wording was rewritten.
Source registered: 2026-10-02T20:42:29.554Z (not original authorship).
Formalized: 2026-10-03T10:37:05.082Z.
Checked: 2026-10-03T10:41:39.501Z.
Independent timestamp: 2026-10-03T10:42:55.000Z.
Authored source SHA-256: 9e6ed5b79cad673caddf7be748f5c39379e2a5a35babdceebc146f87932c2557
Lean source · Verification JSON · Exact archived source JSON · Compiler report · Current authored source page · Signed release and verification instructions
Lean (version 4.7.0, commit v4.7.0, Release) exitCode=0 'HunterAuthored.inference_1' does not depend on any axioms
{P, Q, R, R -> P, R -> Q} |= R -> (P & Q)
Exact source sequent under finite two-valued propositional semantics. Source proposition meanings and Logic/Logos/God Ground are preserved separately; this checks the inference, not unencoded prose.
Self-Evident Credibility by Maclain Hunter
Premises:
P: The Logos is Tautological: God’s existence—in the sense of the Logos existing as a self-evident fact of Reality (Logic - Logical Existence)—is the ultimate evidence for God’s existence.
Q: Logic is Credible: You cannot reasonably doubt that Reason is the Origin of Reality and that, saying the same thing in different (Greek) terms, Logos is Theos. Rationally Logic is what defines and determines what is or is not credible. Credibility is not rational itself if it doesn’t align with Logic, as credibility is logically contingent.
R: Proof for Contradiction: Assume the negation of P and Q. This leads to absurdity that cannot be logically and rationally entertained as valid and true, since it would mean that Logic doesn’t prove its own existence, even with its own tautological existence, and that Logic is not logically credible, which is itself an untenable claim lacking meaningful credibility.
Logical Proof:
{P, Q, R, R -> P, R -> Q} |= R -> (P & Q)
Conclusion:
Logic proves itself to be the Logical Foundation (universally and in both the broadest and most specialized senses). Opinions or positions that oppose this foundational truth are illogical and lack credibility, logically speaking, and according to the Logical Structure of Reality (Logos - Logic) itself. Reason is rationally necessary and demands acknowledgement from the coherent (concepts and minds that exist).
Subjective acceptance (or lack thereof) are irrelevant to Logic’s validity and existence as it does not depend on subjective views or contingent concepts for its existence, just its own logical consistency and natural/necessary alignment with/as the Logical Standard (and Standard of Reality) itself.
Truth Table Analysis:
PQR⎪P Q R R→P R→Q╞R→(P&Q)
TTT⎪T T T TTT TTT TT TTT
TTF⎪T T F FTT FTT FT TTT
TFT⎪T F T TTT TFF TF TFF
TFF⎪T F F FTT FTF FT TFF
FTT⎪F T T TFF TTT TF FFT
FTF⎪F T F FTF FTT FT FFT
FFT⎪F F T TFF TFF TF FFF
FFF⎪F F F FTF FTF FT FFF
(Valid)
Q.E.D.