![]()
A) 单一对象 B) 不同对象的集合 C) 对象的有序列表 D) 一个对象元组
A) ∉ B) ∈ C) ∩ D) ⊆
A) 空集 B) 通用套装 C) 单件集 D) 动力组
A) 工会 B) 子集 C) 交叉路口 D) 卡性
A) 通用套装 B) 单件集 C) 有限集 D) 空集
A) 补充 B) 交叉路口 C) 笛卡儿积 D) 工会
A) A ∪ A B) A' C) A - A D) A ∩ A
A) 有限集 B) 动力组 C) 无限集 D) 补充集
A) 6 B) 5 C) 10 D) 2
A) ⊆ B) ∩ C) ∪ D) ∉
A) 11 至 25 B) 10 至 15 C) 26 至 30 D) 1 至 5
A) 2n B) n! C) n2 D) 2n
A) 工会 B) 补充 C) 对称差异 D) 交叉路口
A) 集合 A 和 B 的交集 B) 集合 A 和集合 B 的联合 C) 集合 A 和 B 的对称差 D) 在集合 A 中但不在集合 B 中的元素
A) 集合 A 的幂集 B) 集合 A 相对于集合 B 的补集 C) 集合 A 和 B 的交集 D) 集合 A 和 B 的联合
A) 通用套装 B) 有限集 C) 空集 D) 单件集
A) 单件集 B) 空集 C) 通用套装 D) 无限集
A) 5 B) 8 C) 3 D) 15
A) 它们具有相同的元素 B) 它们都是空集 C) 一组是另一组的子集 D) 它们有不同的要素
A) 工会 B) 对称差异 C) 交叉路口 D) 补充
A) 埃莱阿的齐诺 B) 伯纳德·博尔扎诺 C) 理查德·德德金 D) 格奥尔格·康托尔
A) 埃莱阿的齐诺 B) 理查德·德克肯本人 C) 格奥尔格·康托 D) 伯纳德·博尔扎诺
A) 三角级数 B) 等价关系 C) 流形 D) 点集
A) 理查德·德德金 (Richard Dedekind) B) 埃利亚的齐诺 (Zeno of Elea) C) 伯纳德·波尔查诺 (Bernard Bolzano) D) 格奥尔格·康托尔 (Georg Cantor)
A) 伯恩哈德·黎曼 B) 格奥尔格·康托尔 C) 理查德·德德金 D) 伯纳德·博尔扎诺
A) 德德金关于等价关系的著作 B) 康托尔对点集的研究 C) 博尔扎诺的无穷悖论 D) 黎曼关于三角级数的论文
A) 1885 B) 1872 C) 1890 D) 1874
A) 康托尔的对角线论证 B) 皮亚诺公理 C) 德德金分割 D) 康托尔的第一个不可数性证明
A) 欧米加 (ω) B) 德尔塔 (Δ) C) 西格玛 (Σ) D) 亚历夫 (ℵ)
A) Ω (omega,ω) B) γ (gamma) C) ℵ (aleph) D) β (beta)
A) 朱塞佩·皮亚诺 B) 利奥波德·克罗内克 C) 理查德·德德金 D) 戈特洛布·弗雷格
A) 皮亚诺悖论 B) 康托尔悖论 C) 罗素悖论 D) 弗雷格的矛盾
A) ℵ (阿列夫) B) ω (欧米加) C) ε (埃普西隆) D) Δ (德尔塔)
A) o ⊆ A B) A ∩ o C) A ∪ o D) o ∈ A
A) 并集 B) 对称差 C) 交集 D) 真子集
A) {2, 3} B) {1, 4} C) {1} D) {4}
A) {1, 2, 3, 4} B) {1, 4} C) {1} D) {2, 3}
A) ∩ B) ∅ C) ∪ D) {}
A) A ∪ P B) A ∩ P C) P(A) D) A △ P
A) 摩尔斯-凯利集合论 (Morse–Kelley set theory) B) 新基础集合论 (New Foundations, NF) C) 策梅洛-弗兰克尔集合论 (Zermelo–Fraenkel set theory) D) 冯·诺伊曼-伯纳德斯-哥德尔集合论 (Von Neumann–Bernays–Gödel set theory)
A) V B) U C) Z D) N
A) 基本元素 B) 成员 C) 元素 D) 子集
A) ZFC B) CZF(构造齐美罗-弗兰克尔集合论) C) 冯·诺伊曼-伯纳德斯-哥德尔集合论 D) NFU
A) 3 B) 2 C) 4 D) 未定义
A) Isabelle B) Coq C) Metamath D) Lean
A) Georg Cantor B) Ernst Zermelo C) Lotfi A. Zadeh D) Abraham Fraenkel
A) 一个不可达基数。 B) 由哥德尔提出的可构造宇宙 L。 C) 一个满足确定性公理的模型。 D) 冯·诺依曼等级结构 V。
A) 保罗·科恩 (Paul Cohen)。 B) 恩斯特·策梅洛 (Ernst Zermelo)。 C) 库尔特·哥德尔 (Kurt Gödel)。 D) 格奥尔格·康托尔 (Georg Cantor)。
A) 巴纳赫-塔斯基悖论。 B) 庞加莱猜想。 C) 连续体假设。 D) 关于“正常”莫尔空间的问题。
A) 同伦类型理论。 B) 算法驱动的人类推理。 C) 无穷集合理论。 D) 拓扑理论。
A) 拓扑理论(Topos theory)。 B) 集合论拓扑学(Set-theoretic topology)。 C) 构造分析(Constructive analysis)。 D) 同伦类型理论(Homotopy type theory)。
A) 拓扑理论。 B) 集合论拓扑。 C) 构造性分析。 D) 同伦类型论。
A) 作为拓扑空间。 B) 作为一种同伦 0 类型的对象。 C) 作为一种谓词。 D) 作为无限基数。
A) 德国 B) 美国 C) 日本 D) 法国
A) 柱状图 B) 折线图 C) 维恩图 D) 饼图
A) 约翰·维恩 B) 奥古斯都·德·摩根 C) 乔治·布尔 D) 莱昂哈德·欧拉
A) \(\mathbb{R}\) B) \(\mathbb{N}\) C) \(\mathbb{Q}\) D) \(\mathbb{Z}\)
A) \(\mathbb{Z}\) B) \(\mathbb{N}\) C) \(\mathbb{R}\) D) \(\mathbb{Q}\)
A) 外延定义 B) 函数定义 C) 操作定义 D) 内涵定义
A) 物理学 B) 数学教育 C) 化学 D) 生物学 |