公理

axiomatize

使公理化

axiomatics | 公理体系 公理学 | axiomatize | 使公理化 | axis based error | 轴线误差

axiom of betweenness

介中性;中间性

关联公理 axiom of alignment | 介中性;中间性 axiom of betweenness | 选择公理 axiom of choice

computability

可计算性

后来我上数学系,学了更多的"公理系统",在做毕业论文时还自己设计了一个公理系统,以便来证明数学上"可计算性"(Computability)里边,一条没有证明的定理.

consistency of linear equations

线性方程组的兼容性

公理的兼容性;公理的一致性;公理的无矛盾性 consistency of axioms | 线性方程组的兼容性 consistency of linear equations | 兼容原则 consistency principle

cosecant

余割

(cosine)、正切(tangent)、余割(cosecant)、正割(secant)和余切(cotangent). 22边角边公理(SAS) 有两边和它们的夹角对应相等的两个三角形全等23 角边角公理( ASA)有两角和它们的夹边对应相等的两个三角形全等24 推论(AAS) 有两角和其中一角的对边对应相等的两个三角形全等25 边边边公理(SSS) 有三边对应相等的两个三角形全等

cotangent

余切

(cosine)、正切(tangent)、余割(cosecant)、正割(secant)和余切(cotangent). 22边角边公理(SAS) 有两边和它们的夹角对应相等的两个三角形全等23 角边角公理( ASA)有两角和它们的夹边对应相等的两个三角形全等24 推论(AAS) 有两角和其中一角的对边对应相等的两个三角形全等25 边边边公理(SSS) 有三边对应相等的两个三角形全等

derivation

导出

它的一个同义词是导出(derivation). 演绎是相对于系统的概念,说一个公式(或语句)是演绎的只是相对于一不定的公理和推理规则的具体系统而言的. 演绎概念是证明概念的概括. 一个证明是语句这样的有穷序列:它的每个语句或是公理或是根据推理规则由前面的语句得出的.

obvious

显明的

他认为公理是显明的(obvious),每个人都能接受而不必证明. 要作推理,除了公理之外,还需要一些定义(definitions)﹑假设(hypothesis)以及一般公理(postulates,适用於所有科学,例如等量加法公理).

secant

正割

(cosine)、正切(tangent)、余割(cosecant)、正割(secant)和余切(cotangent). 22边角边公理(SAS) 有两边和它们的夹角对应相等的两个三角形全等23 角边角公理( ASA)有两角和它们的夹边对应相等的两个三角形全等24 推论(AAS) 有两角和其中一角的对边对应相等的两个三角形全等25 边边边公理(SSS) 有三边对应相等的两个三角形全等

secant

割

(cosine)、正切(tangent)、余割(cosecant)、正割(secant)和余切(cotangent). 22边角边公理(SAS) 有两边和它们的夹角对应相等的两个三角形全等23 角边角公理( ASA)有两角和它们的夹边对应相等的两个三角形全等24 推论(AAS) 有两角和其中一角的对边对应相等的两个三角形全等25 边边边公理(SSS) 有三边对应相等的两个三角形全等

uniovular twin：真孪生

uncompetitative inhibition 非竞争性抑制 | uniovular twin 真孪生 | unit membrane 单位膜

play off one against the other：挑拨离间, 从中得利

play off (难分胜负的)延长赛 使出丑 嘲弄 以...冒充 假装有病 | play off one against the other 挑拨离间, 从中得利 | play off one against another 挑拨离间, 从中得利