Page 810: Implications for Mathematics and Its Foundations
A proof that the axiom system {((b ∘ c) ∘ a) ∘ (b ∘ ((b ∘ a) ∘ b)) == a} given as example (g) on page 808 can reproduce the Sheffer axiom system

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