# Axiomatic Science

**Abstract**

We present a mathematical model formalizing the practice of science in nature. Under the premise that science is the best methodology to understand the World, then presumably a formalization of such is its best mathematical framework. Axiomatic science is a significant improvement over the informal practice of science and it has numerous desirable properties. Axiomatic science is a model of science and of physics, and as such, it contains a 'science' part and a 'physics' part. Axiomatic science can derive the 'physics' part, including the laws of physics, using the 'science' part as the starting point and in the forms of theorems. Axiomatic science thus explains the origins of the laws of physics as a theorem of the formal practice of science. We begin the program to show that axiomatic science is the complete, free of physical baggage, mathematical foundation of physics.

**Categories**

(categorize this paper)

**PhilPapers/Archive ID**

HARTAO-72

**Revision history**

References found in this work BETA

No references found.

Citations of this work BETA

No citations found.

**Added to PP index**

2019-06-26

**Total views**

179 ( #18,499 of 43,037 )

**Recent downloads (6 months)**

179 ( #2,196 of 43,037 )

How can I increase my downloads?

**Downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks to external links.*