 The Tractarian formal theory of mathematics is, specifically, a theory of formal operations. Over the past 20 years, Wittgenstein’s theory of operations has received considerable examination (Frascolla 1994, 1997; Marion 1998; Potter 2000; and Floyd 2002), which has interestingly connected it and the Tractarian equational theory of arithmetic with elements of Alonzo Church’s \(\lambda\)-calculus and with R. L. Goodstein’s equational calculus (Marion 1998: chapters 1, 2, and 4). Very briefly stated, Wittgenstein presents: 