真类 - 版本历史

Testtesttesttest：dibzebjawb

2026-05-23T09:44:06Z

dibzebjawb

←上一版本		2026年5月23日 (六) 17:44的版本
第4行：		第4行：
	=== 性质 ===		=== 性质 ===
	真类不可以作为对象，也不能参加任何运算。比如，<math>2^V</math>因为不是集合，所以未定义，不违反康托定理。		真类不可以作为对象，也不能参加任何运算。比如，<math>2^V</math>因为不是集合，所以未定义，不违反康托定理。
			[[分类:集合论相关]]
	分类:集合论相关

2026年5月23日 (六) 09:43 Testtesttesttest

2026-05-23T09:43:17Z

←上一版本		2026年5月23日 (六) 17:43的版本
第5行：		第5行：
	真类不可以作为对象，也不能参加任何运算。比如，<math>2^V</math>因为不是集合，所以未定义，不违反康托定理。		真类不可以作为对象，也不能参加任何运算。比如，<math>2^V</math>因为不是集合，所以未定义，不违反康托定理。

	标签:集合论相关		分类:集合论相关

2026年5月23日 (六) 09:43 Testtesttesttest

2026-05-23T09:43:04Z

←上一版本		2026年5月23日 (六) 17:43的版本
第4行：		第4行：
	=== 性质 ===		=== 性质 ===
	真类不可以作为对象，也不能参加任何运算。比如，<math>2^V</math>因为不是集合，所以未定义，不违反康托定理。		真类不可以作为对象，也不能参加任何运算。比如，<math>2^V</math>因为不是集合，所以未定义，不违反康托定理。

			标签:集合论相关

Testtesttesttest：test

2026-05-23T09:40:30Z

test

新页面

== 定义 ==
真类，通俗一点讲，就是大到没法成为合法集合/对象的集合。使用[[ZFC公理体系|ZFC]]的分离公理模式，如果新的集合是一个集合的话，那么原集合一定是一个集合；如果使用这个的话，不存在或者有矛盾，或者是新的集合已经被确定为真类，则这个集合一定是一个真类。当然，也可以使用罗素构造以及康托定理(<math>|A| < |\mathcal{P}(A)|</math>)来辨别。在这里举两个例子，比如集合论全域<math>V</math>如果是集合的话，就会出现局部包含整体的情况，根据正则公理，这是不可能的，所以是真类。

=== 性质 ===
真类不可以作为对象，也不能参加任何运算。比如，<math>2^V</math>因为不是集合，所以未定义，不违反康托定理。

真类 - 版本历史

Testtesttesttest：​dibzebjawb

2026年5月23日 (六) 09:43 Testtesttesttest

2026年5月23日 (六) 09:43 Testtesttesttest

Testtesttesttest：​test

Testtesttesttest：dibzebjawb

Testtesttesttest：test