증명 가능한 유의어 - 뜻과 관련 표현