两大事实 → 对状态的三条要求(讲义 §7)

类型definition-derivation(归纳页) · 承接↩ 接上页——两事实已定量化,现在问它们对"状态"概念提出了什么