A Simple Proof by Extraordinarily Difficult Means or Syllogisms in the Age of Quine
Definition 1: #NewOrganon is a model of Truth, T = <D, I>, in which every well-formed formula on this page is a member of D, as well as every well-formed formula Referenced by any member of D, and I is the interpretation function which is given by the members of D.
Definition 2: #PrometheusProject is a model of hepatogenesis, H = <D, I>, where D = every well-formed formula Referenced by “https://independent.academia.edu/OchoaMichael/Inductive-Science" and I is the interpretation function which is given by the members of D. *
Theorem 1: Michael Ochoa is the author of #PrometheusProject.
Proof: By inspection of “https://independent.academia.edu/OchoaMichael/" we can see that #PrometheusProject is a submodel of #NewOrganon, or H ⊆ T.
Michael Ochoa is undeniable the author of #NewOrganon.
Therefore, Michael Ochoa is the author of #PrometheusProject.
Q.E.D.
