On the Axiomatisation of the Natural Laws — A Compilation of Human Mistakes Intended to Be Understood Only By Robots

This is an attempt to axiomatise the natural laws. Note especially axiom 4, which is expressed in third order predicate logic, and which permits a solution to the problem of causation in nature without stating that “everything has a cause”. The undefined term “difference” constitutes the basic element and each difference is postulated to have an exact position and to have a discrete cause. The set of causes belonging to a natural set of dimensions is defined as a law. This means that a natural law is determined by the discrete causes tied to a natural set of dimensions. A law is defined as “defined” in a point if a difference there has a cause. Given that there is a point for which the law is not defined it is shown that a difference is caused that connects two points in two separate sets of dimensions.