타입시스템이 sound하다 => 컴파일러가 ok했으면 실제로 문제 없는 프로그램이다 (문제 없는 프로그램인데 컴파일러가 거부할 수 있음)

단적으로 모든 프로그램을 거부하면 .. 그건 sound

타입시스템이 complete하다 => 컴파일러가 모든 문제 없는 프로그램을 받아들임 (문제 있는 프로그램도 받아들일 수 있음)

묻지도 따지지도 않고 모든 프로그램을 받아들이면 .. 그건 complete
이런 의미로 쓰임

더 쉽게 말하자면, 모든 위험한 걸 걸러낼 수 있으면 sound. 모든 안전한 걸 받아들이면 complete.