Peano Axioms on the Tech Tree