公理

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

Supposed to Be：应该吧

我想我该睡了 i think i should slp | 应该吧 supposed to be | 希望 hope so

Plain Weave：平布

509 hopsack 方平织物 | 510 plain weave 平布 | 511 panama 巴拿马薄呢