A Logically Formalized Axiomatic Epistemology System Ksi Modeling Kant’s Extraordinary Statement of Physicist’s Prescribing A-Priori Laws to Nature

Formally Inferring Galileo Galilei Principle of Relativity of Motion in an Axiomatic System “Sigma+V” from a Triple of Nontrivial Assumptions

“…Firstly, I mean the psychologically surprising theorem-schemes (Aα ⊃ (α ↔ Gα)) and (Aα ⊃ ( α ↔ Gα)), which are formally-logically provable in the formal axiomatic theory Σ+V, along with the psychologically unexpected theorem-scheme (Aα ⊃ (α ↔ α)). Formal proofs of these psychologically odd theorem-schemes are already published in [40] [41] [55] [74]. In the indicated triple of theorem-schemes (which are the implications), generally speaking, the consequents are false, but in that very rare (extraordinary) particular case, when it is true that Aα, the implications are true and formally provable in Σ+V.…”