Alfred North Whitehead and Bertrand Russell, Principia Mathematica, 1910
PM was an attempt to derive all mathematical truths from a set of axioms (self evident truths) and inference rules (a conclusion logically derived from its premises) in symbolic logic (based on the logic of Frege and Russell, who revolutionised the long-held tradition by Aristotle)
The above formula equates to 1 + 1 = 2
Good stuff symbolic logicians
Visit here for more information on symbolic logic and ontology http://understandingsociety.blogspot.com
