How multiplication is defined in Peano arithmetic



Login to add comment