Is there any statement S about the natural integers such that if PA contains no contradictions then neither PA+S nor PA+not S contains a contradiction?

If unknown, where can I read about the philosophical views on it?