K&R2에 보면 다음과 같은 내용이 있습니다.

unsigned 로 선언되는 부호없는 정수형은 2의 n승(n 은 표현에 사용되는 비트수) 으로
나머지 연산되기 때문에 부호없는 값의 연산에서 오버플로우 (overflow) 가
발생할 수 없습니다.

도저히 무슨 뜻인지 모르겠네요.
unsigned라고 해도 사용할수 있는 범위에는 한계가 있지 않나요?
예를 들어 int형이면 4바이트이므로  2의 31승=2147483648
unsigned라면 42억 얼마가 되겟죠.
프로그램에서 수식등의 결과값이 unsigned의 범위를 초과할수도 있잖아요
그럼 당연히 overflow가 발생하는 거 아닌가요?
제가 overflow에 대한 개념을 잘못알고 있나요?

위의 정의를 이해할수가 없어요