既为公理，就有真无假，即 ∀x(A(x)→T(x)) 式中A为表征变元是一个公理的谓词，T为表征变元真值为1的谓词. 证明(李，2024)：设F为表征变元真值为0的谓词，D为表征变元满足公理的定义的谓词，并假定∃x(A(x)∧F(x))，则由公理的定义，有 ∃x(A(x)∧F(x)) ∃x(A(x)∧¬D(x)) ∃x(A(x)∧¬A(x)) ∀x(A(x)→T(x)) Q.E.D. 附题主修改问题前的答案： 公理都是可满足式，即 ∀x(P(x)→Q(x)) 式中P为表征变元是一个公理的谓词，Q为表征变…

这个“八项规定”其实是“代数结构”这个东西进化过程中的不断添加的要求。代数结构指群、环、域、向量空间这些东西，它们都是从“集合”起家的。如果对代数结构的演进过程有一个了解，对八项规定的作用也就很容易理解了。 以下是之前做的关于代数结构演进过程的说明，或有帮助。 本文根据之前做的回答编辑。当时看了@碱式碳酸钴关于代数结构的文，觉得好，就学着用白话又扯了一遍。扯过以后觉得对代数结构这玩意清楚了很多，发…