Chapter 12: The Principle of Computational Equivalence

Section 9: Implications for Mathematics and Its Foundations

[Universality of] predicate logic

The universality of predicate logic with a single two-argument function follows immediately from the result on page 1156 that it can be used to emulate any two-way multiway system.

From Stephen Wolfram: A New Kind of Science [citation]