プリンキピア・マテマティカ
From the law of excluded middle, formula ✸2.1 in "Principia Mathematica," Whitehead and Russell derive some of the most powerful tools in the logician's argumentation toolkit. (In "Principia Mathematica," formulas and propositions are identified by a leading asterisk and two numbers, such as "✸2.1".)