Page 804: Implications for Mathematics and Its Foundations
Forms of a binary operator satisfying the constraints of a series of different axiom systems

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