ある理論の用語と別の理論の用語が全く同じ意味に用いられることはまれで、従ってある理論は他の理論に翻訳できない(通約不可能性)。