- All mathematical truths are definitional facts and their inferences. (They are axioms and theorems.).
- Their truths are pan-empirical.
- If an empirical statement contradicts a mathematical truth, then it is a falsehood.
- Causation is the correct identification of two portions of an identical empirical event. (Causation dissolves the myth that two distinct events were actually two distinct events at all.)
Of these four premises, the first needs the most unpacking, since definition is a result of use of necessary empirical divisions, and the axiomatic statements of logic and math are statements about how all languages operate and the bare transformations that one can perform once those operations are clear.