proof
Who Can Understand the Proof? A Window on Formalized Mathematics—Stephen Wolfram Writings
The Simplest Axiom for Logic Theorem (Wolfram with Mathematica, 2000): The single axiom ((a•b)•c)•(a•((a•c)•a))c is a complete axiom system for…