牙齿
发表于 2025-3-25 03:47:15
http://reply.papertrans.cn/48/4735/473453/473453_21.png
合乎习俗
发表于 2025-3-25 07:45:53
Silver Machines,y simply as a means to an end. That, however, is not at all the case. Gödel held his discovery of constructible sets, and his proof that the class of constructible sets, ., is a model of ZFC, to be by itself, one of his major achievements. His confidence in the importance of the notion of constructi
细菌等
发表于 2025-3-25 12:29:00
http://reply.papertrans.cn/48/4735/473453/473453_23.png
使人烦燥
发表于 2025-3-25 18:38:53
The Elementary Properties of Classes,In this chapter we will introduce certain properties of classes with which the reader is probably 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.
STAT
发表于 2025-3-25 23:49:53
Ordinal Arithmetic,In Chapter 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 e-relation. As a well-ordered set . + 1 has an initial segment . and its “terminal” segment beginning with . consists of just a single element, namely ..
Anthropoid
发表于 2025-3-26 01:58:38
http://reply.papertrans.cn/48/4735/473453/473453_26.png
dura-mater
发表于 2025-3-26 05:24:53
http://reply.papertrans.cn/48/4735/473453/473453_27.png
信徒
发表于 2025-3-26 09:10:49
http://reply.papertrans.cn/48/4735/473453/473453_28.png
蚊帐
发表于 2025-3-26 12:48:03
,The Gödel Model,In Chapter 7 we defined a relation . on On.. We proved that . well orders On. and, with respect to ., initial segments of On. are sets. Consequently there is an order isomorphism . such that ..
ABYSS
发表于 2025-3-26 16:53:49
http://reply.papertrans.cn/48/4735/473453/473453_30.png