Chap1 基础集合论Chap1 基础集合论 基本逻辑 Proposition proposition A proposition p is a variable that can take the values true (T) or false (F), and no others. [^1] 一个 proposition 如果一直是 true 被称为 tautology,反randolf2022年8月28日librarymath微分几何公理系统logicset-theory大约 19 分钟