类型给词汇

类型定义可讨论的值域，关系定义关于这些值的真命题。没有类型就没有词汇，没有关系就没有陈述。把类型伪装成关系，或把对象标识塞进关系，会混淆两个层次。