令 ， φ(x) = x 是归纳集根据 分离公理模式 ， 我们定义：ω = {x ∈ S : ?A(φ(A) → x ∈ A)}称 这个最小的 归纳集 ω 为 自然数集 。（以下是小石头夹带的私货 ， 不喜勿入！）在集合论发展之初 ， 原本只有两个条公理 ， 除了 (1) 外延公理 外 ， 就是：(伪2) 推导公理模式（Axiom Schema of Comprehension)：对于任何 属性 P 都存在 集合 Y = {x : P(x)} 。
(伪2) 和 (1) 分别对应 哲学中 一个概念 的 内涵 和 外延 。本来一切都很美好 ， 直到 罗素发现了 ， 罗素悖论：Y = {X : X ? X}这里的 Y 显然 不是一个 集合 。罗素悖论的通俗版就是 理发师悖论：一位理发师声称：“我只为不给自己刮脸的人刮脸！” ， 那么 他能不能给他自己刮脸呢？如果他不给自己刮脸 ， 他就属于“不给自己刮脸的人” ， 他就要给自己刮脸；如果他给自己刮脸 ， 他又属于“给自己刮脸的人” ， 他就不该给自己刮脸！他给不给自己刮脸都会产生矛盾！于是 ， 数理逻辑学家 不得不 用 ZFC 公理中的 (2) - (9) 替换 (伪2) ， 这才产生了今天的《公理集合论》 。
另一方面 ， 值得注意的是：(伪2) 中 的 Y 作为以 P 为内涵的 概念是 实实在在存在 ， 我们不能否认 ， 只不过 Y 不一定 是 集合（set） ， 我们称之为 类（class） ， 并 将 (伪2) 改为：(0) 概括原则：对于任何 P 都存在 类 Y = {x : P(x)}这个 (0) 作为 类的定义 被 《公理集合论》采用 ， 但 不算是 ZFC 公理 ， 这有点灰色地带的意味！ 。
NASA与休斯顿公司Axiom Space公司将在哪些方面展开合作？
美国宇航局（NASA）本周宣布了一项官方计划 ， 将在国际空间站增加一个轨道联合工作空间 。NASA周一表示 ， 已选择休斯顿公司Axiom Space公司为其提供首批可安装到国际空间站的可居住商业模块 。近年来 ， NASA一直致力于使太空商业化以及所谓的“近地轨道经济” 。NASA局长吉姆·布莱登斯汀在一份新闻稿中表示： “Axiom致力于发展太空商业目的地的工作 ， 对于NASA满足其对低地球轨道的宇航员培训、科学研究和技术演示的长期需求而言 ， 这是至关重要的一步 。
”因此 ， NASA和其他国家的航天机构很可能是Axiom的第一批客户 。该公司由前国际空间站项目经理Michael Suffredini经营 。它将提供至少一个连接到国际空间站Node 2的前向端口的元素 ， 该节点已被用作公用事业枢纽和宇航员的睡眠区 。Axiom的计划是提供一个通往太空的新商业门户 ， 使研究人员、制造商和富有的游客以及其他人有机会前往太空 。
虽然其雄心壮志始于将人员送往国际空间站及其附属模块 ， 但该公司的长期目标是使这些模块最终脱离并成为公司私人独立空间站的一部分 。Suffredini上个月在《Elite Traveler 》的一篇文章中写道：“我们才刚刚开始意识到多年来（低地球轨道）研究的成果 ， 现在可以概念化微重力制造所提供的可能性 ， 例如优质药物、3D打印的人体器官、高性能光纤电缆以及超级合金等 。
推荐阅读
- 绿色守护一定要root吗,Android
- 安卓手机不支持root,至少你手机不需要
- 项羽自封为什么
- 猫咪为什么会得眼结膜炎,那可能是因为结膜炎
- 猫为什么不让人碰爪子,猫咪为什么要舔爪子
- 为什么养鸟用小笼子,养鸟笼才最讲究
- 为什么狗狗不爱洗澡,狗狗为什么怕洗澡
- 猫的尿为什么那么臭,猫屎怎么会那么臭
- 狗为什么爱吃黄瓜,二哈偏爱吃黄瓜
- 折耳猫的尾巴为什么不翘起来,想养折耳猫的注意了