## Tea Paggers Peano Axiom Group

Those who want to use the Peano Axioms explicitly in K-6 instruction could be called members of the Peano Axiom Group.  They can be called Tea Paggers.

Sign up in comments if you want to join the Peano Party.  Another name for it.  The Peano Party wants to teach the Peano axioms explicitly in K-6.  They want to use the Peano Axioms and successor function from the start.

They want to introduce the addition identities

x+0 = x

x+y’ = (x+y)’

Then want to use the prime notation and S notation.

x’ = x+1.

S(x) = x+1.

They want to teach the number line using Peano Axioms, successor function and additive identities.

==

Teach x,y,’,S,+,= from start.

Teach verbal versions as well.

Any number plus zero is the same number.

A first number plus the successor of a second number
equals the successor of the sum of the first and second
number.

x+y’ = (x+y)’

The sum of 2 and the successor of 2 is the successor
of two plus two.

The sum of 2 and 2′ is (2+2)’.

The sum of 2 and 2′ is 5.

The sum of 2 and 2′ is 4′.

The sum of 2 and the successor of 2 is the
successor of 4.

Such equivalences are taught and learned.