다형성(Polymorphism)은 객체지향 프로그래밍에서 동일한 메시지가 다양한 객체에 대해 다르게 반응할 수 있음을 의미한다. 이는 상속과 메서드 오버라이딩을 통해 구현되며, 코드의 유연성과 재사용성을 높여준다. 따라서 정답은 4번으로, 다형성이 객체의 기본 형태를 유지한 채 새로운 기능을 추가할 수 있는 특성을 설명한다.