ZFC公理体系 - 版本历史

QWQ-bili：美化排版，添加锚点

2025-07-26T08:34:12Z

美化排版，添加锚点

←上一版本		2025年7月26日 (六) 16:34的版本
第1行：		第1行：
			'''ZFC 公理体系（Zermelo-Fraenkel-Choice Axiom）'''，是应用最为广泛的集合论体系。在 Googology 中有着强大的[[证明论序数]]。
			== 定义 ==
	我们采用以下的 9 条公理、公理模式作为我们所使用的 ZFC 公理体系．		我们采用以下的 9 条公理、公理模式作为我们所使用的 ZFC 公理体系．

	# ~~外延公理：两个集合~~ <math>A,B</math> 相等，当且仅当任意 <math>x</math>，有 <math>x \in A</math> 等价于 <math>x \in B</math>．		# '''<span id="外延公理">外延公理</span>'''：两个集合 <math>A,B</math> 相等，当且仅当任意 <math>x</math>，有 <math>x \in A</math> 等价于 <math>x \in B</math>．
	# ~~配对公理：对于任意两个集合~~ <math>A,B</math>，有 <math>\{A,B\}</math> 是一个集合．		# '''<span id="配对公理">配对公理</span>'''：对于任意两个集合 <math>A,B</math>，有 <math>\{A,B\}</math> 是一个集合．
	# ~~分离公理模式：对于任意集合~~ <math>S</math> 和带 <math>n+1</math> 个参数的公式 <math>\~~phi~~(x,p_0,p_1,\cdots,p_n)</math>，有 <math>\{x\in S\mid\~~phi~~(x,p_0,p_1,\cdots,p_n)\}</math> 是一个集合．		# '''<span id="分离公理模式">分离公理模式</span>'''：对于任意集合 <math>S</math> 和带 <math>n+1</math> 个参数的公式 <math>\varphi(x,p_0,p_1,\cdots,p_n)</math>，有 <math>\{x\in S\mid\varphi(x,p_0,p_1,\cdots,p_n)\}</math> 是一个集合．
	# ~~并集公理：对于一个集合~~ <math>S</math> ，存在一个集合 <math>U</math> 使得对任意 <math>x\in S</math> 和任意 <math>y\in x</math>，有 <math>y\in U</math>．		# '''<span id="并集公理">并集公理</span>'''：对于一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得对任意 <math>x\in S</math> 和任意 <math>y\in x</math>，有 <math>y\in U</math>．
	# ~~幂集公理：对于任意一个集合~~ <math>S</math>，存在一个集合 <math>U</math> 使得 <math>A\sube S</math> 等价于 <math>A\in U</math>．		# '''<span id="幂集公理">幂集公理</span>'''：对于任意一个集合 <math>S</math>，存在一个集合 <math>U</math> 使得 <math>A\sube S</math> 等价于 <math>A\in U</math>．
	# ~~正则公理：任意一个非空集合~~ <math>S</math> 上都存在 <math>\in</math> 链最小元，或者换句话说，存在 <math>x\in S</math> 使得 <math>x\cap S=\varnothing</math>．		# '''<span id="正则公理">正则公理</span>'''：任意一个非空集合 <math>S</math> 上都存在 <math>\in</math> 链最小元，或者换句话说，存在 <math>x\in S</math> 使得 <math>x\cap S=\varnothing</math>．
	# ~~替换公理模式：对于任意一个集合~~ <math>S</math>，如果存在一个函数 <math>f:S\rightarrow U</math> ，则 <math>f(S)</math> 是一个集合．		# '''<span id="替换公理模式">替换公理模式</span>'''：对于任意一个集合 <math>S</math>，如果存在一个函数 <math>f:S\rightarrow U</math> ，则 <math>f(S)</math> 是一个集合．
	# ~~无穷公理：存在一个集合~~ <math>S</math> 使得空集是 <math>S</math> 的元素，且对于任意 <math>x\in S</math> 有 <math>x\cup\{x\}\in S</math>．		# '''<span id="无穷公理">无穷公理</span>'''：存在一个集合 <math>S</math> 使得空集是 <math>S</math> 的元素，且对于任意 <math>x\in S</math> 有 <math>x\cup\{x\}\in S</math>．
	# ~~选择公理：对于一族两两不相交的非空集~~ <math>\{U_i\mid i\in I\}</math>，存在集合 <math>S</math> 使得对任意 <math>i\in I</math> 有 <math>S\cap U_i</math> 是单点集．这里对脚标集 <math>I</math> 没有要求（可以是不可数集）．		# '''<span id="选择公理">选择公理</span>'''：对于一族两两不相交的非空集 <math>\{U_i\mid i\in I\}</math>，存在集合 <math>S</math> 使得对任意 <math>i\in I</math> 有 <math>S\cap U_i</math> 是单点集．这里对脚标集 <math>I</math> 没有要求（可以是不可数集）．

	~~我们将去掉第 9 条公理的公理体系称为 ZF，将去掉第 9 条和第 6 条的公理体系称为~~ ZF-~~REG，将去掉第 9 条和第 8 条的公理体系称为~~ ZF-~~INF，将去掉第 9 条和第 7 条的公理体系称为~~ Z。		我们将去掉选择公理的公理体系称为 ZF；将去掉选择公理和正则公理的公理体系称为 ZF-REG；将去掉选择公理和无穷公理的公理体系称为 ZF-INF；将去掉选择公理和替换公理模式的公理体系称为 Z。

	ZFC 中的公理之间存在着一定的关系，例如，第 7 条替换公理模式可推第 3 条分离公理模式．		ZFC 中的公理之间存在着一定的关系，例如，第 7 条替换公理模式可推第 3 条分离公理模式．

	~~下面我们将给出一些 ZFC 允许的集论操作。~~		== 集合操作 ==

	1. 并集用符号 <math>\cup</math> 表述		下面我们将给出一些 ZFC 允许的基本集论操作。
			=== 并集 ===

			'''并集'''用符号 <math>\cup</math> 表述。

	我们允许任意有穷多集合取并（本质就是将它们纳入一个集合让后对这个集合取它的并集），对于无穷多集合取并，我们在无穷公理和选择公理的帮助下也是能够完成。		我们允许任意有穷多集合取并（本质就是将它们纳入一个集合让后对这个集合取它的并集），对于无穷多集合取并，我们在无穷公理和选择公理的帮助下也是能够完成。

	2. 交集用符号 <math>\cap</math> 表述		=== 交集 ===
			'''交集'''用符号 <math>\cap</math> 表述。

	我们允许任意有穷多集合取交（利用分离公理模式），对于无穷多集合取交，我们在无穷公理和选择公理的帮助下也是能够完成。		我们允许任意有穷多集合取交（利用分离公理模式），对于无穷多集合取交，我们在无穷公理和选择公理的帮助下也是能够完成。

	~~3. 补集/差集~~		=== 补集及差集 ===

	一个集合 <math>A</math> 关于另一个包含 <math>A</math> 作为子集的集合 <math>S</math> ~~的补集，即为~~ <math>B=\{x\in S\mid x\notin A\}</math>，通过分离公理可以得到。		一个集合 <math>A</math> 关于另一个包含 <math>A</math> 作为子集的集合 <math>S</math> 的'''补集'''，即为 <math>B=\{x\in S\mid x\notin A\}</math>，通过分离公理可以得到。

	4. 笛卡尔积		=== 笛卡尔积 ===

	一个集合 <math>A</math> 和一个集合 <math>B</math> ~~的笛卡尔积~~ <math>A\times B</math> 被定义为一个新的集合 <math>S=\{(a,b)\mid a\in A\land b\in B\}</math>，这个 <math>(a,b)</math> 的表示被称为有序对，一个有序对 <math>(a,b)</math> 要求满足：<math>(a,b)=(c,d)</math> 当且仅当 <math>a=c</math> 且 <math>b=d</math>，<math>(a,b)</math> 也可以被集论语言描述为 <math>\{a,\{a,b\}\}</math>，因此，<math>A\times B</math> 这个笛卡尔积也可以被描述为 <math>A</math> 与 <math>B</math> 的并集取两次幂集之后通过分离公理得到的一个特殊的子集。		一个集合 <math>A</math> 和一个集合 <math>B</math> 的'''笛卡尔积''' <math>A\times B</math> 被定义为一个新的集合 <math>S=\{(a,b)\mid a\in A\land b\in B\}</math>。

	<math>n</math> ~~多元的多元组被描述为以下形式：~~		<math>(a,b)</math> 称作'''<span id="有序对">有序对</span>'''，一个有序对 <math>(a,b)</math> 满足 <math>(a,b)=(c,d)</math> 当且仅当 <math>a=c</math> 且 <math>b=d</math>，<math>(a,b)</math> 也可以被集论语言描述为 <math>\{a,\{a,b\}\}</math>，因此，<math>A\times B</math> 这个笛卡尔积也可以被描述为 <math>A</math> 与 <math>B</math> 的并集取两次幂集之后通过分离公理得到的一个特殊的子集。

	* 二元：<math>(a,b)</math>		<math>n</math> 多元的'''<span id="多元组">多元组</span>'''被描述为以下形式：

			* 二元：<math>(a,b)</math>，等价于有序对
	* 三元：<math>(a,b,c)=((a,b),c)</math>		* 三元：<math>(a,b,c)=((a,b),c)</math>
	* 四元：<math>(a,b,c,d)=(((a,b),c),d)</math>		* 四元：<math>(a,b,c,d)=(((a,b),c),d)</math>
			* ...

	以此类推。		以此类推。

	任意有限多集合的笛卡尔积都存在且非空，通过选择公理，我们可以保证，无穷多集合的笛卡尔积也是非空的。<math>A^n</math> 表示 <math>n</math> 个 <math>A</math> 自行相乘得到的笛卡尔积，我们也称呼 <math>A\times B</math> 的一个子集是在 <math>A</math> 和 <math>B</math> 上的一个关系，称 <math>A^n</math> 的一个子集是在 <math>A</math> 上的一个 <math>n</math> ~~元关系。~~		任意有限多集合的笛卡尔积都存在且非空，通过选择公理，我们可以保证，无穷多集合的笛卡尔积也是非空的。<math>A^n</math> 表示 <math>n</math> 个 <math>A</math> 自行相乘得到的笛卡尔积，我们也称呼 <math>A\times B</math> 的一个子集是在 <math>A</math> 和 <math>B</math> 上的一个关系，称 <math>A^n</math> 的一个子集是在 <math>A</math> 上的一个 '''<math>\mathbf{n}</math> 元关系'''。

			根据笛卡尔积的概念，我们提出了 <math>n</math> 元关系 <math>R</math> 的'''<span id="定义域">定义域</span>'''与'''<span id="值域">值域</span>'''，分别记为 <math>\operatorname{range}(R)</math> 与 <math>\operatorname{domain}(R)</math>，简称 <math>\operatorname{rng}(R)</math> 与 <math>\operatorname{dom}(R)</math>。

			若 <math>A</math> 是一个 <math>n+1</math> 元关系，<math>\operatorname{dom}(A)</math> 是全体前 <math>n</math> 元所构成的集合，<math>\operatorname{rng}(A)</math> 是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域。

			=== 函数 ===

	函数被我们定义为一种特殊的 <math>n</math> 元关系。		函数被我们定义为一种特殊的 <math>n</math> 元关系。

	根据笛卡尔积的概念，我们提出了 <math>\operatorname{range}(A)</math> 和 <math>\operatorname{domain}(A)</math> 的概念，其中 <math>A</math> 是一个 <math>n+1</math> 元关系，<math>\operatorname{domain}(A)</math> 是全体前 <math>n</math> 元所构成的集合，<math>\operatorname{range}(A)</math> 是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域．
	[[分类:集合论相关]]		[[分类:集合论相关]]

2025年7月25日 (五) 12:13 Tabelog

2025-07-25T12:13:19Z

←上一版本		2025年7月25日 (五) 20:13的版本
第11行：		第11行：
	# 选择公理：对于一族两两不相交的非空集 <math>\{U_i\mid i\in I\}</math>，存在集合 <math>S</math> 使得对任意 <math>i\in I</math> 有 <math>S\cap U_i</math> 是单点集．这里对脚标集 <math>I</math> 没有要求（可以是不可数集）．		# 选择公理：对于一族两两不相交的非空集 <math>\{U_i\mid i\in I\}</math>，存在集合 <math>S</math> 使得对任意 <math>i\in I</math> 有 <math>S\cap U_i</math> 是单点集．这里对脚标集 <math>I</math> 没有要求（可以是不可数集）．

	我们将去掉第 9 条公理的公理体系称为 ZF，将去掉第 9 条和第 6 条的公理体系称为 ZF-REG，将去掉第 9 条和第 8 条的公理体系称为 ZF-INF，将去掉第 9 条和第 7 ~~条的公理体系称为Z．~~		我们将去掉第 9 条公理的公理体系称为 ZF，将去掉第 9 条和第 6 条的公理体系称为 ZF-REG，将去掉第 9 条和第 8 条的公理体系称为 ZF-INF，将去掉第 9 条和第 7 条的公理体系称为 Z。

	ZFC 中的公理之间存在着一定的关系，例如，第 7 条替换公理模式可推第 3 条分离公理模式．		ZFC 中的公理之间存在着一定的关系，例如，第 7 条替换公理模式可推第 3 条分离公理模式．

	下面我们将给出一些 ZFC ~~允许的集论操作．~~		下面我们将给出一些 ZFC 允许的集论操作。

	1.并集用符号 <math>\cup</math> ~~表述．~~		1. 并集用符号 <math>\cup</math> 表述

	我们允许任意有穷多集合取并（本质就是将它们纳入一个集合让后对这个集合取它的并集），对于无穷多集合取并，我们在无穷公理和选择公理的帮助下也是能够完成．		我们允许任意有穷多集合取并（本质就是将它们纳入一个集合让后对这个集合取它的并集），对于无穷多集合取并，我们在无穷公理和选择公理的帮助下也是能够完成。

	2.交集用符号 <math>\cap</math> ~~表述．~~		2. 交集用符号 <math>\cap</math> 表述

	~~我们允许任意有穷多集合取交（利用分离公理模式），对于无穷多集合取交，我们在无穷公理和选择公理的帮助下也是能够完成．~~		我们允许任意有穷多集合取交（利用分离公理模式），对于无穷多集合取交，我们在无穷公理和选择公理的帮助下也是能够完成。

	3.补集/~~差集．~~		3. 补集/差集

	一个集合 <math>A</math> 关于另一个包含 <math>A</math> 作为子集的集合 <math>S</math> 的补集，即为 <math>B=\{x\in S\mid x\notin A\}</math> ~~，通过分离公理可以得到．~~		一个集合 <math>A</math> 关于另一个包含 <math>A</math> 作为子集的集合 <math>S</math> 的补集，即为 <math>B=\{x\in S\mid x\notin A\}</math>，通过分离公理可以得到。

	4.~~笛卡尔积．~~		4. 笛卡尔积

	一个集合 <math>A</math> 和一个集合 <math>B</math> 的笛卡尔积 <math>A\times B</math> 被定义为一个新的集合 <math>S=\{(a,b)\mid a\in A\land b\in B\}</math> ，这个 <math>(a,b)</math> 的表示被称为有序对，一个有序对 <math>(a,b)</math> 要求满足： <math>(a,b)=(c,d)</math> 当且仅当 <math>a=c</math> 且 <math>b=d</math>，<math>(a,b)</math> 也可以被集论语言描述为 <math>\{a,\{a,b\}\}</math> ，因此，<math>A\times B</math> 这个笛卡尔积也可以被描述为 <math>A</math> 与 <math>B</math> ~~的并集取两次幂集之后通过分离公理得到的一个特殊的子集．~~		一个集合 <math>A</math> 和一个集合 <math>B</math> 的笛卡尔积 <math>A\times B</math> 被定义为一个新的集合 <math>S=\{(a,b)\mid a\in A\land b\in B\}</math>，这个 <math>(a,b)</math> 的表示被称为有序对，一个有序对 <math>(a,b)</math> 要求满足：<math>(a,b)=(c,d)</math> 当且仅当 <math>a=c</math> 且 <math>b=d</math>，<math>(a,b)</math> 也可以被集论语言描述为 <math>\{a,\{a,b\}\}</math>，因此，<math>A\times B</math> 这个笛卡尔积也可以被描述为 <math>A</math> 与 <math>B</math> 的并集取两次幂集之后通过分离公理得到的一个特殊的子集。

	<math>n</math> ~~多元的多元组被描述为以下形式．~~		<math>n</math> 多元的多元组被描述为以下形式：

	* 二元：<math>(a,b)</math>．		* 二元：<math>(a,b)</math>
	* 三元：<math>(a,b,c)=((a,b),c)</math>．		* 三元：<math>(a,b,c)=((a,b),c)</math>
	* 四元：<math>(a,b,c,d)=(((a,b),c),d)</math>．		* 四元：<math>(a,b,c,d)=(((a,b),c),d)</math>

	~~以此类推．~~		以此类推。

	~~任意有限多集合的笛卡尔积都存在且非空，通过选择公理，我们可以保证，无穷多集合的笛卡尔积也是非空的．~~<math>A^n</math> 表示 <math>n</math> 个 <math>A</math> 自行相乘得到的笛卡尔积，我们也称呼 <math>A\times B</math> 的一个子集是在 <math>A</math> 和 <math>B</math> 上的一个关系，称 <math>A^n</math> 的一个子集是在 <math>A</math> 上的一个 <math>n</math> ~~元关系．~~		任意有限多集合的笛卡尔积都存在且非空，通过选择公理，我们可以保证，无穷多集合的笛卡尔积也是非空的。<math>A^n</math> 表示 <math>n</math> 个 <math>A</math> 自行相乘得到的笛卡尔积，我们也称呼 <math>A\times B</math> 的一个子集是在 <math>A</math> 和 <math>B</math> 上的一个关系，称 <math>A^n</math> 的一个子集是在 <math>A</math> 上的一个 <math>n</math> 元关系。

	函数被我们定义为一种特殊的 <math>n</math> ~~元关系．~~		函数被我们定义为一种特殊的 <math>n</math> 元关系。

	根据笛卡尔积的概念，我们提出了 <math>\operatorname{range}(A)</math> 和 <math>\operatorname{domain}(A)</math> 的概念，其中 <math>A</math> 是一个 <math>n+1</math> 元关系，<math>\operatorname{domain}(A)</math> 是全体前 <math>n</math> 元所构成的集合，<math>\operatorname{range}(A)</math> 是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域．		根据笛卡尔积的概念，我们提出了 <math>\operatorname{range}(A)</math> 和 <math>\operatorname{domain}(A)</math> 的概念，其中 <math>A</math> 是一个 <math>n+1</math> 元关系，<math>\operatorname{domain}(A)</math> 是全体前 <math>n</math> 元所构成的集合，<math>\operatorname{range}(A)</math> 是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域．
	[[分类:集合论相关]]		[[分类:集合论相关]]

虚妄之幻：改了分类

2025-07-05T12:16:51Z

改了分类

←上一版本		2025年7月5日 (六) 20:16的版本
第46行：		第46行：

	根据笛卡尔积的概念，我们提出了 <math>\operatorname{range}(A)</math> 和 <math>\operatorname{domain}(A)</math> 的概念，其中 <math>A</math> 是一个 <math>n+1</math> 元关系，<math>\operatorname{domain}(A)</math> 是全体前 <math>n</math> 元所构成的集合，<math>\operatorname{range}(A)</math> 是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域．		根据笛卡尔积的概念，我们提出了 <math>\operatorname{range}(A)</math> 和 <math>\operatorname{domain}(A)</math> 的概念，其中 <math>A</math> 是一个 <math>n+1</math> 元关系，<math>\operatorname{domain}(A)</math> 是全体前 <math>n</math> 元所构成的集合，<math>\operatorname{range}(A)</math> 是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域．
			[[分类:集合论相关]]

2025年7月4日 (五) 06:06 Zhy137036

2025-07-04T06:06:29Z

←上一版本		2025年7月4日 (五) 14:06的版本
第1行：		第1行：
	~~我们采用以下的9条公理、公理模式作为我们所使用的ZFC公理体系。~~		我们采用以下的 9 条公理、公理模式作为我们所使用的 ZFC 公理体系．

	# 外延公理：两个集合 <math>A,B</math> ~~相等，当且仅当任意x，~~ <math>x \in A</math> 等价于 <math>x \in B</math>		# 外延公理：两个集合 <math>A,B</math> 相等，当且仅当任意 <math>x</math>，有 <math>x \in A</math> 等价于 <math>x \in B</math>．
	# 配对公理：对于任意两个集合 <math>A,B</math> ， <math>\{A,B\}</math> ~~是一个集合<br />~~		# 配对公理：对于任意两个集合 <math>A,B</math>，有 <math>\{A,B\}</math> 是一个集合．
	# 分离公理模式：对于任意集合 <math>S</math> ~~，和带~~ <math>n</math> 个参数的公式 <math>\phi (x,p0,~~p1,p2,p3~~,\cdots),\{x\in S: \phi(x,p0,p1,\cdots)\}</math> ~~是一个集合~~		# 分离公理模式：对于任意集合 <math>S</math> 和带 <math>n+1</math> 个参数的公式 <math>\phi(x,p_0,p_1,\cdots,p_n)</math>，有 <math>\{x\in S\mid\phi(x,p_0,p_1,\cdots,p_n)\}</math> 是一个集合．
	# 并集公理：对于一个集合 <math>S</math> ，存在一个集合 <math>U</math> ~~使得任意~~ <math>x\in S</math> ~~，任意~~ <math>y\in x,y\in U</math>		# 并集公理：对于一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得对任意 <math>x\in S</math> 和任意 <math>y\in x</math>，有 <math>y\in U</math>．
	# 幂集公理：对于任意一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得 <math>A~~</math> 是 <math>~~S</math> ~~的子集等价于~~ <math>A\in U</math>		# 幂集公理：对于任意一个集合 <math>S</math>，存在一个集合 <math>U</math> 使得 <math>A\sube S</math> 等价于 <math>A\in U</math>．
	# 正则公理：任意一个非空集合 <math>S</math> 上都存在 <math>\in</math> 链最小元，或者换句话说，存在 <math>x\in S</math> 使得 ~~<math>S</math> 非空且~~ <math>x~~</math> 交 <math>~~S</math> 为空		# 正则公理：任意一个非空集合 <math>S</math> 上都存在 <math>\in</math> 链最小元，或者换句话说，存在 <math>x\in S</math> 使得 <math>x\cap S=\varnothing</math>．
	# ~~替代公理：对于任意一个集合~~ <math>S</math> ，如果存在一个函数 <math>f:S\rightarrow U</math> ，则 <math>U</math> ~~是一个集合~~		# 替换公理模式：对于任意一个集合 <math>S</math>，如果存在一个函数 <math>f:S\rightarrow U</math> ，则 <math>f(S)</math> 是一个集合．
	# ~~无穷公理：存在无穷集/存在一个集合~~ <math>S</math> 使得空集是 <math>S</math> 的元素，且对于任意 <math>x\in S,x\cup\{x\}\in S</math>		# 无穷公理：存在一个集合 <math>S</math> 使得空集是 <math>S</math> 的元素，且对于任意 <math>x\in S</math> 有 <math>x\cup\{x\}\in S</math>．
	# ~~选择公理：对于任意集合~~ <math>S</math> ~~，存在一个选择函数使得~~ <math>~~f(S)~~\in S</math>		# 选择公理：对于一族两两不相交的非空集 <math>\{U_i\mid i\in I\}</math>，存在集合 <math>S</math> 使得对任意 <math>i\in I</math> 有 <math>S\cap U_i</math> 是单点集．这里对脚标集 <math>I</math> 没有要求（可以是不可数集）．
	我们将去掉第9条公理的公理体系称为ZF,将去掉第9条和第6条的公理体系称为ZF-REG，将去掉第九条和第8条的公理体系称为ZF-INF，将去掉第九条和第7条的公理体系称为Z
	~~ZFC中的公理之间存在着一定的关系，例如，第7条替代公理模式可推第3条分离公理模式。~~

	~~下面我们将给出一些ZFC允许的集论操作~~		我们将去掉第 9 条公理的公理体系称为 ZF，将去掉第 9 条和第 6 条的公理体系称为 ZF-REG，将去掉第 9 条和第 8 条的公理体系称为 ZF-INF，将去掉第 9 条和第 7 条的公理体系称为Z．

	~~1.并集用符号U表述~~		ZFC 中的公理之间存在着一定的关系，例如，第 7 条替换公理模式可推第 3 条分离公理模式．

	我们允许任意有穷多集合取并（本质就是将它们纳入一个集合让后对这个集合取它的并集），对于无穷多集合取并，我们在无穷公理和选择公理的帮助下也是能够完成		下面我们将给出一些 ZFC 允许的集论操作．

	2.~~交集用符号∩表述~~		1.并集用符号 <math>\cup</math> 表述．

	~~我们允许任意有穷多集合取交（利用分离公理模式），对于无穷多集合取交，我们在无穷公理和选择公理的帮助下也是能够完成~~		我们允许任意有穷多集合取并（本质就是将它们纳入一个集合让后对这个集合取它的并集），对于无穷多集合取并，我们在无穷公理和选择公理的帮助下也是能够完成．

	3.补集/差集		2.交集用符号 <math>\cap</math> 表述．

	~~一个集合A关于另一个包含A作为子集的集合S的补集，即为B=｛x∈S：x∉A｝，通过分离公理可以得到~~		我们允许任意有穷多集合取交（利用分离公理模式），对于无穷多集合取交，我们在无穷公理和选择公理的帮助下也是能够完成．

	4.~~笛卡尔积~~		3.补集/差集．

	~~一个集合A和一个集合B的笛卡尔积AB被定义为一个新的集合S~~=｛（a，b）：a∈A∧b∈B｝，这个（a，b）的表示被称为有序对，一个有序对（a，b）要求满足：（a，b）=（c，d）当且仅当a=c且b=d，（a，b）也可以被集论语言描述为｛a，｛a，b｝｝，因此，AB这个笛卡尔积也可以被描述为A与B的并集取两次幂集之后通过分离公理得到的一个特殊的子集		一个集合 <math>A</math> 关于另一个包含 <math>A</math> 作为子集的集合 <math>S</math> 的补集，即为 <math>B=\{x\in S\mid x\notin A\}</math> ，通过分离公理可以得到．

	~~n多元的多元组被描述为以下形式~~		4.笛卡尔积．

	~~（a，b）二元~~		一个集合 <math>A</math> 和一个集合 <math>B</math> 的笛卡尔积 <math>A\times B</math> 被定义为一个新的集合 <math>S=\{(a,b)\mid a\in A\land b\in B\}</math> ，这个 <math>(a,b)</math> 的表示被称为有序对，一个有序对 <math>(a,b)</math> 要求满足： <math>(a,b)=(c,d)</math> 当且仅当 <math>a=c</math> 且 <math>b=d</math>，<math>(a,b)</math> 也可以被集论语言描述为 <math>\{a,\{a,b\}\}</math> ，因此，<math>A\times B</math> 这个笛卡尔积也可以被描述为 <math>A</math> 与 <math>B</math> 的并集取两次幂集之后通过分离公理得到的一个特殊的子集．

	~~（a，b，c）=（（a，b），c）三元~~		<math>n</math> 多元的多元组被描述为以下形式．

	~~（a，b，c，d）~~=~~（（（a，b），c），d）四元~~		* 二元：<math>(a,b)</math>．
			* 三元：<math>(a,b,c)=((a,b),c)</math>．
			* 四元：<math>(a,b,c,d)=(((a,b),c),d)</math>．

	~~以此类推~~		以此类推．

	~~任意有限多集合的笛卡尔积都存在且非空，通过选择公理，我们可以保证，无穷多集合的笛卡尔积也是非空的，A~~^~~n表示n个A自行相乘得到的笛卡尔积，我们也称呼A*B的一个子集是在A和B上的一个关系，称A~~^~~n的一个子集是在A上的一个n元关系~~		任意有限多集合的笛卡尔积都存在且非空，通过选择公理，我们可以保证，无穷多集合的笛卡尔积也是非空的．<math>A^n</math> 表示 <math>n</math> 个 <math>A</math> 自行相乘得到的笛卡尔积，我们也称呼 <math>A\times B</math> 的一个子集是在 <math>A</math> 和 <math>B</math> 上的一个关系，称 <math>A^n</math> 的一个子集是在 <math>A</math> 上的一个 <math>n</math> 元关系．

	~~函数被我们定义为一种特殊的n元关系~~		函数被我们定义为一种特殊的 <math>n</math> 元关系．

	~~根据笛卡尔积的概念，我们提出了range（A）和domain（A）的概念，其中A是一个n~~+1元关系，domain（A）是全体前n元所构成的集合，range（A）是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域。		根据笛卡尔积的概念，我们提出了 <math>\operatorname{range}(A)</math> 和 <math>\operatorname{domain}(A)</math> 的概念，其中 <math>A</math> 是一个 <math>n+1</math> 元关系，<math>\operatorname{domain}(A)</math> 是全体前 <math>n</math> 元所构成的集合，<math>\operatorname{range}(A)</math> 是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域．

虚妄之幻：更多拓展内容

2025-07-03T12:32:30Z

更多拓展内容

←上一版本		2025年7月3日 (四) 20:32的版本
第12行：		第12行：
	我们将去掉第9条公理的公理体系称为ZF,将去掉第9条和第6条的公理体系称为ZF-REG，将去掉第九条和第8条的公理体系称为ZF-INF，将去掉第九条和第7条的公理体系称为Z		我们将去掉第9条公理的公理体系称为ZF,将去掉第9条和第6条的公理体系称为ZF-REG，将去掉第九条和第8条的公理体系称为ZF-INF，将去掉第九条和第7条的公理体系称为Z
	ZFC中的公理之间存在着一定的关系，例如，第7条替代公理模式可推第3条分离公理模式。		ZFC中的公理之间存在着一定的关系，例如，第7条替代公理模式可推第3条分离公理模式。

			下面我们将给出一些ZFC允许的集论操作

			1.并集用符号U表述

			我们允许任意有穷多集合取并（本质就是将它们纳入一个集合让后对这个集合取它的并集），对于无穷多集合取并，我们在无穷公理和选择公理的帮助下也是能够完成

			2.交集用符号∩表述

			我们允许任意有穷多集合取交（利用分离公理模式），对于无穷多集合取交，我们在无穷公理和选择公理的帮助下也是能够完成

			3.补集/差集

			一个集合A关于另一个包含A作为子集的集合S的补集，即为B=｛x∈S：x∉A｝，通过分离公理可以得到

			4.笛卡尔积

			一个集合A和一个集合B的笛卡尔积AB被定义为一个新的集合S=｛（a，b）：a∈A∧b∈B｝，这个（a，b）的表示被称为有序对，一个有序对（a，b）要求满足：（a，b）=（c，d）当且仅当a=c且b=d，（a，b）也可以被集论语言描述为｛a，｛a，b｝｝，因此，AB这个笛卡尔积也可以被描述为A与B的并集取两次幂集之后通过分离公理得到的一个特殊的子集

			n多元的多元组被描述为以下形式

			（a，b）二元

			（a，b，c）=（（a，b），c）三元

			（a，b，c，d）=（（（a，b），c），d）四元

			以此类推

			任意有限多集合的笛卡尔积都存在且非空，通过选择公理，我们可以保证，无穷多集合的笛卡尔积也是非空的，A^n表示n个A自行相乘得到的笛卡尔积，我们也称呼A*B的一个子集是在A和B上的一个关系，称A^n的一个子集是在A上的一个n元关系

			函数被我们定义为一种特殊的n元关系

			根据笛卡尔积的概念，我们提出了range（A）和domain（A）的概念，其中A是一个n+1元关系，domain（A）是全体前n元所构成的集合，range（A）是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域。

虚妄之幻：新的补充

2025-07-03T07:49:35Z

新的补充

←上一版本		2025年7月3日 (四) 15:49的版本
第1行：		第1行：
	我们采用以下的9条公理、公理模式作为我们所使用的ZFC公理体系。		我们采用以下的9条公理、公理模式作为我们所使用的ZFC公理体系。

	# 外延公理：两个集合 <math>A,B</math> 相等，当且仅当任意x， <math>x \in A</math> 等价于 <math>x \in B</math>		# 外延公理：两个集合 <math>A,B</math> 相等，当且仅当任意x， <math>x \in A</math> 等价于 <math>x \in B</math>
	# 配对公理：对于任意两个集合 <math>A,B</math> ， <math>\{A,B\}</math> 是一个集合<br />		# 配对公理：对于任意两个集合 <math>A,B</math> ， <math>\{A,B\}</math> 是一个集合<br />
	# 分离公理模式：对于任意集合 <math>S</math> ，和带 <math>n</math> 个参数的公式 <math>\phi (x,p0,p1,p2,p3,\cdots),\{x\in S: \phi(x,p0,p1,\cdots)\}</math> 是一个集合		# 分离公理模式：对于任意集合 <math>S</math> ，和带 <math>n</math> 个参数的公式 <math>\phi (x,p0,p1,p2,p3,\cdots),\{x\in S: \phi(x,p0,p1,\cdots)\}</math> 是一个集合
	# 并集公理：对于一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得任意 <math>x\in S</math> ，任意 <math>y\in x,y\in U</math>		# 并集公理：对于一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得任意 <math>x\in S</math> ，任意 <math>y\in x,y\in U</math>
	# 幂集公理：对于任意一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得 <math>A</math> 是 <math>S</math> 的子集等价于 <math>A\in U</math>		# 幂集公理：对于任意一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得 <math>A</math> 是 <math>S</math> 的子集等价于 <math>A\in U</math>
	# 正则公理：任意一个非空集合 <math>S</math> 上都存在 <math>\in</math> 链最小元，或者换句话说，存在 <math>x\in S</math> 使得 <math>S</math> 非空且 <math>x</math> 交 <math>S</math> 为空		# 正则公理：任意一个非空集合 <math>S</math> 上都存在 <math>\in</math> 链最小元，或者换句话说，存在 <math>x\in S</math> 使得 <math>S</math> 非空且 <math>x</math> 交 <math>S</math> 为空
	# 替代公理：对于任意一个集合 <math>S</math> ，如果存在一个函数 <math>f:S\rightarrow U</math> ，则 <math>U</math> 是一个集合		# 替代公理：对于任意一个集合 <math>S</math> ，如果存在一个函数 <math>f:S\rightarrow U</math> ，则 <math>U</math> 是一个集合
	# 无穷公理：存在无穷集/存在一个集合 <math>S</math> 使得空集是 <math>S</math> 的元素，且对于任意 <math>x\in S,x\cup\{x\}\in S</math>		# 无穷公理：存在无穷集/存在一个集合 <math>S</math> 使得空集是 <math>S</math> 的元素，且对于任意 <math>x\in S,x\cup\{x\}\in S</math>
	# 选择公理：对于任意集合 <math>S</math> ，存在一个选择函数使得 <math>f(S)\in S</math>		# 选择公理：对于任意集合 <math>S</math> ，存在一个选择函数使得 <math>f(S)\in S</math>
			我们将去掉第9条公理的公理体系称为ZF,将去掉第9条和第6条的公理体系称为ZF-REG，将去掉第九条和第8条的公理体系称为ZF-INF，将去掉第九条和第7条的公理体系称为Z
			ZFC中的公理之间存在着一定的关系，例如，第7条替代公理模式可推第3条分离公理模式。

QWQ-bili：美化公式

2025-07-03T05:21:21Z

美化公式

←上一版本		2025年7月3日 (四) 13:21的版本
第1行：		第1行：
	~~我们采用以下的9条公理、公理模式作为我们使用的ZFC公理体系~~		我们采用以下的9条公理、公理模式作为我们所使用的ZFC公理体系。

	~~1.外延公理：两个集合A~~,~~B相等，当且仅当任意x，x属于A等价于x属于B~~		# 外延公理：两个集合 <math>A,B</math> 相等，当且仅当任意x， <math>x \in A</math> 等价于 <math>x \in B</math>
			# 配对公理：对于任意两个集合 <math>A,B</math> ， <math>\{A,B\}</math> 是一个集合<br />
	~~2.配对公理：对于任意两个集合A，B，~~{A,B}是一个集合		# 分离公理模式：对于任意集合 <math>S</math> ，和带 <math>n</math> 个参数的公式 <math>\phi (x,p0,p1,p2,p3,\cdots),\{x\in S: \phi(x,p0,p1,\cdots)\}</math> 是一个集合
			# 并集公理：对于一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得任意 <math>x\in S</math> ，任意 <math>y\in x,y\in U</math>
	~~3.分离公理模式：对于任意集合S，和带n个参数的公式phi（x，p0~~,p1,p2,p3,~~..）~~,{~~x∈S：phi（x，p0，p1，...）~~}是一个集合		# 幂集公理：对于任意一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得 <math>A</math> 是 <math>S</math> 的子集等价于 <math>A\in U</math>
			# 正则公理：任意一个非空集合 <math>S</math> 上都存在 <math>\in</math> 链最小元，或者换句话说，存在 <math>x\in S</math> 使得 <math>S</math> 非空且 <math>x</math> 交 <math>S</math> 为空
	~~4.并集公理：对于一个集合S，存在一个集合U使得任意x∈S，任意y∈x，y∈U~~		# 替代公理：对于任意一个集合 <math>S</math> ，如果存在一个函数 <math>f:S\rightarrow U</math> ，则 <math>U</math> 是一个集合
			# 无穷公理：存在无穷集/存在一个集合 <math>S</math> 使得空集是 <math>S</math> 的元素，且对于任意 <math>x\in S,x\cup\{x\}\in S</math>
	~~5.幂集公理：对于任意一个集合S，存在一个集合U使得A是S的子集等价于A∈U~~		# 选择公理：对于任意集合 <math>S</math> ，存在一个选择函数使得 <math>f(S)\in S</math>

	~~6.正则公理：任意一个非空集合S上都存在∈链最小元，或者换句话说，存在x∈S使得S非空且x交S为空~~

	~~7.替代公理：对于任意一个集合S，如果存在一个函数f~~:~~S→U，则U是一个集合~~

	8.无穷公理：存在无穷集/~~存在一个集合S使得空集是S的元素，且对于任意x∈S~~,xU{x}∈S

	~~9.选择公理：对于任意集合S，存在一个选择函数使得f（S）∈S~~

虚妄之幻：ZFC

2025-07-01T15:50:13Z

ZFC

新页面

我们采用以下的9条公理、公理模式作为我们使用的ZFC公理体系

1.外延公理：两个集合A,B相等，当且仅当任意x，x属于A等价于x属于B

2.配对公理：对于任意两个集合A，B，{A,B}是一个集合

3.分离公理模式：对于任意集合S，和带n个参数的公式phi（x，p0,p1,p2,p3,..）,{x∈S：phi（x，p0，p1，...）}是一个集合

4.并集公理：对于一个集合S，存在一个集合U使得任意x∈S，任意y∈x，y∈U

5.幂集公理：对于任意一个集合S，存在一个集合U使得A是S的子集等价于A∈U

6.正则公理：任意一个非空集合S上都存在∈链最小元，或者换句话说，存在x∈S使得S非空且x交S为空

7.替代公理：对于任意一个集合S，如果存在一个函数f:S→U，则U是一个集合

8.无穷公理：存在无穷集/存在一个集合S使得空集是S的元素，且对于任意x∈S,xU{x}∈S

9.选择公理：对于任意集合S，存在一个选择函数使得f（S）∈S

ZFC公理体系 - 版本历史

QWQ-bili：​美化排版，添加锚点

2025年7月25日 (五) 12:13 Tabelog

虚妄之幻：​改了分类

2025年7月4日 (五) 06:06 Zhy137036

虚妄之幻：​更多拓展内容

虚妄之幻：​新的补充