公理

axiom of accessibility

可达性公理

axiom 公理 | axiom of accessibility 可达性公理 | axiom of addition 加法公理

axiom of addition

加法公理

axiom of accessibility 可达性公理 | axiom of addition 加法公理 | axiom of choice 选择公理

axiom of choice

选择公理

不过,有一个很重要的东西就不见得那么家喻户晓了--那就是"选择公理" (Axiom of Choice). 这个公理的意思是"任意的一群非空集合,一定可以从每个集合中各拿出一个元素. "--似乎是显然得不能再显然的命题. 不过,这个貌似平常 的公理却能演绎出一些比较奇怪的结论,

axiom of choice

选择公设;选择公理

830,"axiom of betweenness","介中性公设;中间性公设;介中性公理;中间性公理" | 831,"axiom of choice","选择公设;选择公理" | 832,"axiom of closure","闭合公设;闭合公理"

axiom of completeness

完备性公理

axiom of choice 选择公理 | axiom of completeness 完备性公理 | axiom of comprehension 概括公理

axiom of reducibility

可约性公理迭可归化性公理

平行公理 axiom of parallel | 可约性公理迭可归化性公理 axiom of reducibility | 第二可数公理 axiom of second countability

axiom of reducibility

可约性公理叠可归化性公理

"平行公理","axiom of parallel" | "可约性公理叠可归化性公理","axiom of reducibility" | "第二可数公理","axiom of second countability"

axiom of betweenness

介中性公设;中间性公设;介中性公理;中间性公理

829,"axiom","公理;公设" | 830,"axiom of betweenness","介中性公设;中间性公设;介中性公理;中间性公理" | 831,"axiom of choice","选择公设;选择公理"

axiom of parallel

平行公理

次序公理 axiom of order | 平行公理 axiom of parallel | 可约性公理迭可归化性公理 axiom of reducibility

axiom of second countability

第二可数公理

可约性公理迭可归化性公理 axiom of reducibility | 第二可数公理 axiom of second countability | 分离公理 axiom of separation

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 挑拨离间, 从中得利