CAN THE PEANO AXIOMS MEET ZERMELO-FRAENKEL SET THEORY WITH THE AXIOM OF CHOICE?