Comment by feanaro

What does it mean that Peano Arithmetic isn't categorical?