Answer:
The theorem here is essentially that
if a and 3 are disjoint sets with
exactly one element each, then their
union has exactly two elements. ...
Peano shows that it's not hard to
produce a useful set of axioms that
can prove 1+1=2 much more easily
than Whitehead and Russell do.
