效果
发表于 2025-3-26 23:44:01
https://doi.org/10.1007/978-1-4684-9915-5arithmetic; axiom of choice; function; logic; ordinal; set; set theory
Absenteeism
发表于 2025-3-27 03:26:29
Language and Logic,The language of our theory consists of
adumbrate
发表于 2025-3-27 06:54:16
The Elementary Properties of Classes,In this section we will introduce certain properties of classes with which the reader is already familiar. The immediate consequences of the definitions are for the most part elementary and easily proved; consequently they will be left to the reader as exercises.
APNEA
发表于 2025-3-27 12:39:15
Ordinal Arithmetic,In Section 7 we defined . + 1 to be . ∪ {.}. We proved that . + 1 is an ordinal, that is, . + 1 is a transitive set that is well ordered by the ∈-relation. As a well ordered set . + 1 has an initial segment . and its “terminal” segment beginning with . consists of just a single element, namely ..
神经
发表于 2025-3-27 17:40:42
Cardinal Numbers,The equivalence of sets is basic to the theory of cardinal numbers. Two sets are equivalent, or equipollent, provided there exists a one-to-one correspondence between them.
戏法
发表于 2025-3-27 18:29:28
http://reply.papertrans.cn/48/4735/473452/473452_36.png
缩减了
发表于 2025-3-27 23:06:11
http://reply.papertrans.cn/48/4735/473452/473452_37.png
bile648
发表于 2025-3-28 04:42:20
http://reply.papertrans.cn/48/4735/473452/473452_38.png
扩张
发表于 2025-3-28 08:32:41
http://reply.papertrans.cn/48/4735/473452/473452_39.png
Gratulate
发表于 2025-3-28 10:42:25
,Cohen’s Method,In proving that the AC and the GCH are consistent with ZF Gödel used the so called method of internal models. From the assumption that the universe . is a model of ZF Gödel prescribed a method for producing a submodel . that is also a model of ., AC and GCH. This submodel is defined as the class of all sets having a certain property i.e. ..