“identity axiom”的概念、定义、翻译、参考文献-科学参考

单词	identity axiom
释义	identity axiom Logic 1. In proof theory, the sequent: $φ \Rightarrow φ$ where either $φ$ is atomic (in some sequent calculi) or an arbitrary formula of an appropriate language. In many sequent calculi, the identity axiom is the only allowable initial sequent. 2. See self-implication. 3. An axiom of the form $\forall x x = x$ .
随便看	subsequent stream subsequent streams subset subshell subsidence subsidiarity subsidiary subsidized credit subsidy subsistence subsistence farming subsistence level subsistence wages subsoil subsoiling subsolar point subsolvus granite subsolvus syenite subsonic frequency subsonic speed subspace subspace topology sub specie aeternitatis subspecies substage

科学参考收录了60776条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。