{
  "author": "Maclain Hunter",
  "title": "Formal-System Necessity by Reductio",
  "identifier": "hunter-formal-system-reductio",
  "sourceKind": "authored-foundational-record",
  "content": "Assume ~P: FSLs are not tautological as First Cause derived, Logic-as-Axiom systems.\n\nBut to assert ~P requires a coherent formal system (an FSL) to express denial logically—relying on axioms like identity and non-contradiction.\n\nThis presupposes P (FSLs as axiomatic necessities), leading to contradiction: ~P implies P.\n\nThus, ~P is false; P holds. ⊥\n\nQ follows similarly, affirming the absurdity of denying FSLs' existence.",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": "2026-10-02T23:11:12.872Z",
  "originalAuthoredAt": null,
  "propositionMeaningBoundary": "Atomic identifiers retain their meanings in the exact source. No arbitrary truth assignment establishes an ontological or empirical premise; the formal witness checks the written inference."
}