How multiplication is defined in Peano arithmetic

Mathematician Keith Devlin is the Executive Director of the Human-Sciences and Technologies Advanced Research Institute ( H-STAR ) at Stanford University and The Math Guy on NPR's Weekend Edition