Modeling

TBD (by 3/13/2024)

• A Consistent Formal Framework Implementing Axiomatic Theories

  • (w/ proofs for Russell’s Paradox and Gödel’s Incompleteness Theorems)

• Theorems For Statutes (From Simple To Complex)

  • Indigency - Mass. G.L. c. 261, §§ 27A-D
  • Mail Fraud - 18 U.S.C. §§ 1341, 1349
  • RICO - 18 U.S.C. §§ 1961-1968

• Axioms For The Constituiton

  • Freedom of speech
  • Due Process
  • Equal Protection