Flinch
发表于 2025-3-26 22:43:28
http://reply.papertrans.cn/67/6606/660572/660572_31.png
能够支付
发表于 2025-3-27 04:36:46
Families,and the notation undergo radical alterations. Suppose, for instance, that . is a function from a set . to a set .. (The very choice of letters indicates that something strange is afoot.) An element of the domain . is called an ., . is called the ., the range of the function is called an ., the funct
流浪
发表于 2025-3-27 05:40:49
http://reply.papertrans.cn/67/6606/660572/660572_33.png
严重伤害
发表于 2025-3-27 13:07:40
Numbers, all unordered pairs {.}, with . in . in ., and . ≠ .. It seems clear that all the sets in the collection . have a property in common, namely the property of consisting of two elements. It is tempting to try to define “twoness” as the common property of all the sets in the collection ., but the temp
代理人
发表于 2025-3-27 15:44:37
http://reply.papertrans.cn/67/6606/660572/660572_35.png
天文台
发表于 2025-3-27 18:23:45
Order,order plays an important role. The basic definitions are simple. The only thing to remember is that the primary motivation comes from the familiar properties of “less than or equal to” and not “less than.” There is no profound reason for this; it just happens that the generalization of “less than or
achlorhydria
发表于 2025-3-28 00:40:02
,Zorn’s Lemma,ormulated (or, if need be, reformulated) so that the underlying set is a partially ordered set and the crucial property is maximality. Our next purpose is to state and prove the most important theorem of this kind.
hypotension
发表于 2025-3-28 03:58:34
Well Ordering,artially ordered set is called . (and its ordering is called a .) if every non-empty subset of it has a smallest element. One consequence of this definition, worth noting even before we look at any examples and counterexamples, is that every well ordered set is totally ordered. Indeed, if . and . ar
ADAGE
发表于 2025-3-28 07:10:21
http://reply.papertrans.cn/67/6606/660572/660572_39.png
Isolate
发表于 2025-3-28 14:14:21
Ordinal Numbers,ntains .. What happens if we start with ., form its successor .., then form the successor of that, and proceed so on ad infinitum? In other words: is there something out beyond ., .., (..)., ⋯, etc., in the same sense in which . is beyond 0, 1, 2, ⋯, etc.?