Causal Robinson Arithmetic

Say that a structure N that has a distinguished element 0, a unary function S, and binary operations + and ⋅ is a causal Robinson Arithmetic (CRA) structure iff:

1. The structure N satisfies the axioms of Robinson Arithmetic, and

2. For any x in N, x is a partial cause of the object Sx.

The Fundamental Metaphysical Axiom of CRA is:

• For every sentence ϕ in the language of arithmetic, ϕ is either true in every metaphysically possible CRA structure or false in every metaphysically possible CRA structure.

Causal Finitism—the doctrine that nothing can have infinitely many things causally prior to it—implies that any CRA is order isomorphic to the standard natural numbers (for any element in the CRA structure other than zero, the sequence of predecessors will be causally prior to it, and so by Causal Finitism must be finite, and hence the number can be mapped to a standard natural number), and hence implies the Fundamental Metaphysical Axiom of CRA.

Given the Fundamental Metaphysical Axiom of CRA, we have a causal-structuralist foundation for arithmetic, and hence for meta-mathematics: We say that a sentence ϕ of arithmetic is true if and only if it is true in all metaphysically possible CRA structures.