上一期: 前提假设
下一期: 逻辑类型理论