Group: alt.philosophy · Group Profile · Search for Proposition 2 1 2 in alt.philosophy
Author: Immortalist
Date: Apr 15, 2008 22:00
...of second-order axioms [extension of propositional logic] proposed by Giuseppe Peano which...Euclid did, with five axioms: Axiom 1. 0 is a number. Axiom 2... "Sam" or "Samantha" or, preferably, "1." To our newly generated s(s...is interpreted as 2 + 1 = 2 + s(0) = s(2+0) = s(2... of equations such as x2 = 2 and complex numbers to account ... to the truth-values of propositions gives us the L group ...
|