the law of substitution of co-referential expressions

  • 同一性替换规则
目录 查词历史