An Undecidable Result: Hardy Field Functions and Presburger Arithmetic