What are the chief goals of axiomat

What are the chief goals of axiomatic set theory, and to what extent have these goals been successfully
attained? In order to answer that question we must remember the circumstances which led
mathematicians, in the early years of the twentieth century, to search for an axiomatic basis to set
theory. The ideas of Cantor had already thoroughly permeated the fabric of modern mathematics, and
had become indispensable tools of the working mathematician. Algebra and analysis were formulated
within a framework of set theory, and some of the most elegant, powerful new results in these fields
were established by using the methods introduced by Cantor and his followers. Thus, when the
paradoxes were discovered and there arose doubts as to the basic validity of Cantor’s system, most
mathematicians were understandably reluctant to give it up; they trusted that some way would be
found to circumvent the contradictions and preserve, if not all, at least most of Cantor’s results.
Hilbert once wrote in this connection: “We will not be expelled from the paradise into which Cantor
has led us.”
With the discovery of newer paradoxes, and the failure of all the initial attempts to avoid them, it
became increasingly clear that it would not be possible to preserve intuitive set theory in its entirety.
Something—possibly quite a lot—would have to be relinquished. The best that one could hope for
was to retain as much of intuitive set theory as was needed to save the new results of modern
mathematics and provide an adequate framework for classical mathematics.
Briefly, then, axiomatic set theory was created to achieve a limited aim: it had to provide a firm
foundation for a system of set theory which—while it did not need to be as comprehensive as intuitive
set theory—must include all of Cantor’s basic results as well as the constructions (such as the number
systems, functions, and relations) needed for classical mathematics.
The systems of both Zermelo and von Neumann were successful in achieving this limited aim. But
the amount of intuitive set theory which they had to sacrifice was considerable. For example, in
Zermelo’s system, as we have already seen, the intuitive way of making sets—by naming a property
of objects and forming the set of all objects which have that property—does not take place at all. It is
replaced by the axiom of selection, in which properties are allowed only to determine subsets of
given sets. Furthermore, the only admissible “properties” are those which can be expressed entirely
in terms of the seven symbols ∈, ∨, ∧, ¬, ⇒, ∀, ∃ and variables x, y, z, … As a result, many of
the things that we normally think of as sets—for example, the “set of all apples,” the “set of all atoms
in the universe”—are not admissible as “sets” in axiomatic set theory. In fact, the only “sets” which
the axioms provide for are, first, the empty set Ø, and then constructions such as {Ø}, {Ø, {Ø}}, etc.,
which can be built up from the empty set. It is remarkable fact that all of mathematics can be based
upon such a meager concept of set.
While the various axiomatic systems of set theory saved mathematics from its immediate peril, they
failed to satisfy a great many people. In particular, many who were sensitive to the elegance and
universality of mathematics were quick to point out that the creations of Zermelo and von Neumann
must be regarded as provisional solutions—as expedients to solve a temporary problem; they will
have to be replaced, sooner or later, by a mathematical theory of broader scope, which treats the
concept of “set” in its full, intuitive generality.
This argument against axiomatic set theory—that it deals with an amputated version of our intuitive
conception of a set—has important philosophical ramifications; it is part of a far wider debate, on the
nature of mathematical “truth.” The debate centers around the following question: Are mathematical
concepts creations (that is, inventions) of the human mind, or do they exist independently of us in a
“platonic” realm of concepts, merely to be discovered by the mathematician? The latter opinion is
often referred to as “platonic realism” and is the dominant viewpoint of classical mathematics. We
illustrate these two opposing points of view by showing how they apply to a particular concept—the
notion of natural numbers. From the viewpoint of platonic realism, the concepts “one,” “two,”
“three,” and so on, exist in nature and existed before the first man began to count. If intelligent beings
exist elsewhere in the universe, then, no matter how different they are from us, they have no doubt
discovered the natural numbers and found them to have the same properties they have for us. On the
other hand, according to the opposing point of view, while three cows, three stones, or three trees
exist in nature, the natural number three is a creation of our minds; we have invented a procedure for
constructing the natural numbers (by starting from zero and adding 1 each time, thus producing
successively 1, 2, 3, etc.) and have in this manner fashioned a conceptual instrument of our own
making.
How does platonic realism affect the status of axiomatic set theory? From the point of view of
platonic realism, mathematical objects are given to us ready-made, with all their features and all their
properties. It follows that to say a mathematical theorem is true means it expresses a correct
statement about the relevant mathematical objects. (For example, the proposition 2 + 2 = 4 is not
merely a formal statement provable in arithmetic; it states an actual fact about numbers.) Now—if
we admit that mathematical objects are given to us with all their properties, it follows, in particular,
that the notion of set is a fixed, well-defined concept which we are not free to alter for our own
convenience. Thus the “sets” created by Zermelo and von Neumann do not exist, and theorems which
purport to describe these nonexistent objects are false! In conclusion, if we were to accept a strict
interpretation of platonic realism, we would be forced to reject the systems of Zermelo and von
Neumann as mathematically invalid.
Fortunately, the trend, for some time now, has been away from platonism and toward a more
flexible, more “agnostic” attitude toward mathematical “truth.” For one thing, developments in
mathematics have been conforming less and less to the pattern dictated by platonic philosophy. For
another, the cardinal requirement of platonism—that every mathematical object correspond to a
definite, distinct object of our intuition (just as “point” and “line” refer to well-defined objects of our
spatial intuition)—came to be an almost unbearable burden on the work of creative mathematicians
by the nineteenth century. They were dealing with a host of new concepts (such as complex numbers,
abstract laws of composition, and the general notion of function) which did not lend themselves to a
simple interpretation in concrete terms. The case of the complex numbers is a good illustration of
what was happening. Classical mathematics never felt at ease with the complex numbers, for it lacked
a suitable “interpretation” of them, and as a result there were nagging doubts as to whether such things
really “existed.” Real numbers may be interpreted as lengths or quantities, but the square root of a
negative real number—this did not seem to correspond to anything in the real world or in our intuition
of number. Yet the system of the complex numbers arises in a most natural way—as the smallest
number system which contains the real numbers and includes the roots of every algebraic equation
with real coefficients; whether or not the complex numbers have a physical or psychological
counterpart seems irrelevant.
The case of the complex numbers strikes a parallel with the problem of axiomatic set theory. For
the “sets” created by Zermelo and von Neumann arise quite naturally in a mathematical context. They
give us the simplest notion of set which is adequate for mathematics and yields a consistent axiomatic
theory. Whether or not we can interpret them intuitively may be relatively unimportant.
Be that as it may, many mathematicians in the early 1900’s were reluctant to make so sharp a break
with tradition as axiomatic set theory seemed to demand. Furthermore, they felt, on esthetic grounds,
that a mathematical theory of sets should describe all the things—and only those things—which our
intuition recognizes to be sets. Among them was Bertrand Russell; in his efforts to reinstate intuitive
set theory, Russell was led to the idea that we may consider sets to be ordered in a hierarchy of
“levels,” where, if A and are sets and A is an element of , then is “one level higher” than A.
For example, in plane geometry, a circle (regarded as a set of points) is one level below a family of
circles, which, in turn, is one level below a set of families of circles. This basic idea was built by
Russell into a theory called the theory of types, which can be described, in essence, as follows.
Every set has a natural number assigned to it, called its level. The simplest sets, those of level 0,
are called individuals—they do not have elements. A collection of individuals is a set of level 1; a
collection of sets of level 1 is a set of level 2; and so on. In the theory of types the expression a ∈ B
is only meaningful if, for some number n, a is a set of level n and B is a set of level n + 1. It follows
that the statement x ∈ x has no meaning in the theory of types, and as a result, Russell’s paradox
vanishes for the simple reason that it cannot even be formulated.
Russell’s theory of types is built upon a beautifully simple idea. Unfortunately, in order to make it
“work,” Russell was forced to add a host of new assumptions, until finally the resulting theory
became too cumbersome to work with and too complicated to be truly pleasing. For one thing,
corresponding t

ผลลัพธ์ (ไทย) 1:

เป้าหมายสำคัญของทฤษฎีเซต axiomatic คืออะไร และขอบเขตเป้าหมายเหล่านี้ได้สำเร็จบรรลุหรือไม่ เพื่อตอบคำถามที่เราต้องจำสถานการณ์ที่mathematicians ในช่วงปีแรก ๆ ของศตวรรษที่ยี่สิบ ค้นหาการเป็น axiomatic ตั้งทฤษฎีการ ความคิดของคันทอร์มี permeated ผ้าของคณิตศาสตร์สมัยใหม่ แล้วอย่างถี่ถ้วน และได้กลายเป็นเครื่องมือสำคัญของนักคณิตศาสตร์ทำงาน สูตรพีชคณิตและการวิเคราะห์ภายในกรอบของทฤษฎีเซต และบางที่สุดหรูหรา มีประสิทธิภาพผลลัพธ์ใหม่ในฟิลด์เหล่านี้ได้ก่อตั้งขึ้น โดยใช้วิธีที่แนะนำ โดยคันทอร์และลูกศิษย์ของเขา ดังนั้น เมื่อการพบ paradoxes และมีเกิดข้อสงสัยว่าใช้พื้นฐานของระบบของคันทอร์ มากที่สุดmathematicians ได้ช้า ๆ ไม่ให้ขึ้น พวกเขาเชื่อว่า จะเป็นอย่างพบเพื่อหลีกเลี่ยงกันข้ามและรักษา ถ้าไม่ทั้งหมด ที่สุดของผลลัพธ์ของคันทอร์ฮิลแบร์ทครั้งเขียนต่อ: "เราจะไม่ถูกขับไล่ออกจากสวรรค์ไปที่คันทอร์นำเรา"มีการค้นพบใหม่ paradoxes และความล้มเหลวทั้งหมดเริ่มต้นพยายามหลีกเลี่ยงพวกเขา มันกลายเป็นชัดเจนมากขึ้นว่า มันจะไม่สามารถรักษาทฤษฎีเซตง่ายทั้งนั้นสิ่ง — อาจจะค่อนข้างมากซึ่งจะต้องถูก relinquished ส่วนการไม่หวังคือการ รักษาทฤษฎีเซตง่ายมากที่สุดตามที่ต้องการบันทึกผลลัพธ์ใหม่ทันสมัยคณิตศาสตร์ และมีกรอบเพียงพอสำหรับคณิตศาสตร์คลาสสิกสั้น ๆ แล้ว ทฤษฎีเซต axiomatic สร้างขึ้นเพื่อให้บรรลุจุดมุ่งหมายจำกัด: มันมีให้บริษัทมูลนิธิมีการตั้งทฤษฎีที่ — ในขณะที่ไม่ได้จำเป็นต้องเป็นที่ครอบคลุมที่ใช้งานง่ายทฤษฎีเซต — ต้องรวมผลพื้นฐานของคันทอร์เป็นก่อสร้าง (เช่นหมายเลขทั้งหมดระบบ ฟังก์ชัน และความสัมพันธ์) ที่จำเป็นสำหรับวิชาคณิตศาสตร์คลาสสิกระบบ Zermelo และฟอน Neumann ไม่ประสบความสำเร็จในการบรรลุจุดมุ่งหมายนี้จำกัด แต่จำนวนทฤษฎีเซตง่ายที่พวกเขาต้องเสียสละมากขึ้น ตัวอย่าง ในระบบของ Zermelo เราได้เห็นแล้ว วิธีใช้งานง่ายของการทำชุด — โดยตั้งชื่อคุณสมบัติของวัตถุและการตั้งค่าของวัตถุทั้งหมดที่มีคุณสมบัติในการขึ้นรูปซึ่งไม่เกิดขึ้นเลย จึงแทนที่ ด้วยสัจพจน์ของการเลือก การที่คุณสมบัติสามารถเท่านั้นกำหนดว่าชุดย่อยของการตั้งค่าที่กำหนด นอกจากนี้ เฉพาะ admissible "คุณสมบัติ" เป็นผู้ที่สามารถแสดงทั้งหมด7 สัญลักษณ์∈ ∨ ∧, ¬, ⇒ ∀ ∃ และตัวแปร x, y, z, ... เป็นผล มากมายสิ่งที่เราทำคิดว่า เป็นชุดตัวอย่าง "ชุดของแอปเปิ้ลทั้งหมด ชุด" ของอะตอมทั้งหมดในจักรวาล " — ไม่เป็น"ชุด" admissible ในทฤษฎีเซต axiomatic ในความเป็นจริง เฉพาะ "ตั้งค่า" ซึ่งสัจพจน์ให้มี แรก ว่างเปล่าตั้งØ และก่อสร้างเช่น {Ø}, {Ø {Ø} }, ฯลฯ .,ซึ่งสามารถสร้างขึ้นจากเซตว่าง มันเป็นน่าทึ่งจริงที่ทั้งหมดของวิชาคณิตศาสตร์สามารถยึดตามดังกล่าวไม่เพียงพอแนวคิดของชุดนี้ในขณะที่ระบบ axiomatic ต่าง ๆ ของคณิตศาสตร์ทฤษฎีเซตที่บันทึกจากเควสอย่างทันที พวกเขาไม่สามารถตอบสนองคนจำนวนมาก หลายคนมีความไวต่อความสง่างามโดยเฉพาะ และuniversality ของคณิตศาสตร์ได้อย่างรวดเร็วเพื่อชี้ให้เห็นว่าสร้างสรรค์น่า Zermelo Neumann ฟอนต้องถือเป็นโซลูชั่นสำรองซึ่งเป็น expedients แก้ปัญหาชั่วคราว พวกเขาจะต้องไม่ ช้า ทฤษฎีทางคณิตศาสตร์ของขอบเขตที่กว้างขึ้น การปฏิบัติการแนวคิดของ "ตั้งค่า" ในการ generality เต็ม ใช้งานง่ายอาร์กิวเมนต์นี้กับทฤษฎีเซต axiomatic — ที่จะเกี่ยวข้องกับรุ่น amputated ของเราง่ายความคิดของชุด — มี ramifications ปรัชญาสำคัญ เป็นส่วนหนึ่งของการอภิปรายกว้างไกล ในการธรรมชาติของคณิตศาสตร์ "ต้อง" ดำเนินการอภิปรายรอบคำถามต่อไปนี้: มีทางคณิตศาสตร์แนวคิดสร้างสรรค์ (นั่นคือ ประดิษฐ์) ของจิตใจมนุษย์ หรือทำพวกเขามีอิสระเราในการ"platonic" ขอบเขตของแนวคิด เพียงการค้นพบ โดยนักคณิตศาสตร์ที่ ความเห็นหลังได้มักเรียกว่า "สัจนิยม platonic" และเป็นจุดหลักของคณิตศาสตร์คลาสสิก เราแสดงเหล่านี้สองฝ่ายตรงข้ามเห็น ด้วยแสดงว่าพวกเขากับแนวคิดเฉพาะตัวแนวคิดของจำนวนธรรมชาติ จากจุดชมวิวของ platonic จริง แนวคิด "หนึ่ง "สอง"สาม" และอื่น ๆ มีอยู่ในธรรมชาติ และมีอยู่ก่อนที่มนุษย์คนแรกเริ่มนับ ถ้าสิ่งมีชีวิตที่ฉลาดมีอยู่ในจักรวาลอื่น แล้ว ไม่แตกต่างที่พวกเขาได้จากเรา มีข้อสงสัยค้นพบธรรมชาติเลข และพบพวกเขามีคุณสมบัติเดียวกันที่ได้สำหรับเรา ในการมืออื่น ๆ ตามฝ่ายตรงข้ามมอง ในขณะที่วัวสาม หินสาม หรือต้นไม้สามมีอยู่ในธรรมชาติ ธรรมชาติสามเป็นการสร้างจิตใจของเรา เราได้คิดค้นขั้นตอนการสร้างหมายเลขธรรมชาติ (โดยเริ่มต้นจากศูนย์ และเพิ่ม 1 กัน จึงมีการผลิตติด ๆ กัน 1, 2, 3 ฯลฯ .) และมีในลักษณะนี้แบบเครื่องมือแนวคิดของเราเองทำให้ไม่สมจริง platonic กระทบสถานะของทฤษฎีเซต axiomatic จากมุมมองของความสมจริง platonic วัตถุทางคณิตศาสตร์ที่ให้เราสำเร็จ คุณลักษณะของพวกเขาและทั้งหมดของพวกเขาคุณสมบัติ เป็นไปตามที่ทฤษฎีบททางคณิตศาสตร์จะหมายถึงความจริงว่า มันแสดงความถูกต้องคำสั่งเกี่ยวกับวัตถุทางคณิตศาสตร์เกี่ยวข้อง (ตัวอย่าง ข้อเสนอ 2 + 2 = 4 ไม่เพียงเป็นคำในทางคณิตศาสตร์ provable ระบุถึงความจริงเกี่ยวกับตัวเลข) ตอนนี้คือถ้าเรายอมรับว่า วัตถุทางคณิตศาสตร์ที่ให้เรา มีคุณสมบัติทั้งหมดของพวกเขา มันดังต่อไป นี้ โดยเฉพาะว่าแนวคิดของชุดแนวคิดถาวร โดยที่เราไม่สามารถเปลี่ยนแปลงในของเราเองความสะดวกสบาย ดังนั้น "ชุด" สร้างด้วย Zermelo Neumann ฟอนไม่มีอยู่ และทฤษฎีที่purport การอธิบายเหล่านี้ไม่มีอยู่ข้อมูลเท็จ ในสรุป ถ้าเรายอมรับความเข้มงวดการตีความของ platonic สมจริง เราจะสามารถบังคับให้ปฏิเสธระบบ Zermelo และฟอนNeumann เป็น mathematically ไม่ถูกต้องโชคดี แนวโน้ม บางครั้งนี้ ได้ จาก platonism และเปรียบ เทียบมากขึ้นยืดหยุ่น มาก "agnostic" ทัศนคติต่อคณิตศาสตร์ "ต้อง" สำหรับสิ่งหนึ่ง การพัฒนาคณิตศาสตร์มีการสอดคล้องน้อยรูปแบบตามปรัชญา platonic สำหรับอื่น ความต้องการเชิงของ platonism — ที่ทุกวัตถุทางคณิตศาสตร์ที่สอดคล้องกับการวัตถุที่แน่นอน ความแตกต่างของสัญชาตญาณของเรา (เพียงเป็น "จุด" และ "เส้น" ที่อ้างอิงถึงวัตถุโดยของเราปริภูมิสัญชาตญาณ) — มาจะ เป็นภาระเกือบความงานของ mathematicians สร้างสรรค์โดยศตวรรษที่ผ่านมา มีการจัดการ ด้วยแนวคิดใหม่ (เช่นจำนวนเชิงซ้อนบทคัดย่อกฎหมายองค์ประกอบ และแนวคิดทั่วไปของฟังก์ชัน) ซึ่งไม่ได้ยืมตัวเองไปเป็นตีง่ายในคอนกรีต กรณีของจำนวนเชิงซ้อนเป็นภาพประกอบที่ดีของเกิดอะไรขึ้น คณิตศาสตร์คลาสสิกที่ไม่เคยรู้สึกใจชื้นกับจำนวนเชิงซ้อน มันขาดที่เหมาะสม "ตีความ" ของพวกเขา และมีผลถูกจู้จี้ข้อสงสัยต่อว่ากิจกรรมดังกล่าวจริง ๆ "อยู่" ตัวเลขจริงอาจจะตีความเป็นความยาว หรือปริมาณ แต่รากของการจำนวนจริงลบแบบนี้ไม่ได้ดูเหมือนจะตรงกับอะไร ในโลกจริง หรือสัญชาตญาณของเราของหมายเลข แต่ระบบของจำนวนเชิงซ้อนที่เกิดขึ้นในธรรมชาติมากที่สุดคือเป็นน้อยที่สุดระบบเลขที่ประกอบด้วยจำนวนจริง และมีรากของทุกสมการพีชคณิตกับสัมประสิทธิ์จริง จำนวนเชิงซ้อนหรือไม่มีทางกายภาพ หรือจิตใจกันดูเหมือนไม่เกี่ยวข้องกรณีของจำนวนเชิงซ้อนนัดไปพร้อม ๆ กับปัญหาของทฤษฎีเซต axiomatic สำหรับ"ชุด" สร้างด้วย Zermelo Neumann ฟอนเกิดขึ้นค่อนข้างธรรมชาติในบริบททางคณิตศาสตร์ พวกเขาให้แนวคิดที่ง่ายที่สุดของชุดซึ่งจะเพียงพอสำหรับคณิตศาสตร์ และทำให้การสอดคล้อง axiomaticทฤษฎีการ หรือไม่เราสามารถตีได้หมดอาจจะค่อนข้างสำคัญให้ว่ามันอาจ mathematicians มากในช่วง 1900 ได้หวงแหนทำให้ คมตัวแบ่งกับประเพณีเป็นทฤษฎีเซต axiomatic ดูเหมือนความต้องการ นอกจากนี้ พวกเขารู้สึก รองรับคลื่นความทฤษฎีทางคณิตศาสตร์ชุดควรอธิบายทุกสิ่ง — และสิ่งเหล่านั้นเท่านั้น — ที่ของเราสัญชาตญาณที่รู้จักเป็น ชุด ในหมู่พวกเขามีเบอร์ทรานด์รัสเซลล์ ในความพยายามของเขาให้กลับมาใช้งานง่ายทฤษฎีเซต รัสเซลล์ถูกนำไปสู่ความคิดที่เราอาจพิจารณาตั้งสั่งเป็นลำดับชั้น"ระดับ ที่ ถ้า A เป็นชุด และเป็นองค์ประกอบของ จากนั้นเป็น"หนึ่งระดับสูง"กว่าอ.ตัวอย่าง ในเครื่องบินทางเรขาคณิต วงกลม (ถือว่าเป็นชุดของจุด) คือ หนึ่งระดับล่างครอบครัวของวงกลม ที่ เปิด ในระดับหนึ่งด้านล่างชุดครอบครัวของวงได้ ความคิดพื้นฐานนี้ถูกสร้างขึ้นโดยรัสเซลล์เป็นทฤษฎีเรียกว่าทฤษฎีชนิด ซึ่งสามารถอธิบาย ในสาระสำคัญ เป็นดังนี้ทุกชุดมีหมายเลขธรรมชาติกำหนดให้ เรียกว่าระดับของ ชุดที่ง่ายที่สุด ที่ระดับ 0เรียกว่าบุคคลซึ่งไม่มีองค์ประกอบด้วย คอลเลกชันของบุคคลที่เป็นชุดของระดับ 1 มีคอลเลกชันชุดของระดับ 1 เป็นระดับ 2 ชุด และอื่น ๆ ในทฤษฎีของชนิดของนิพจน์ a ∈ Bมีความหมายถ้า สำหรับ n บางหมายเลข เป็นชุดของระดับ n และ B คือ ชุดของระดับ n + 1 เป็นไปตามที่งบ x ∈ x มีความหมายไม่มีในทฤษฎี ของชนิด และ เป็น ผล ปฏิทรรศน์ของรัสเซิลล์หายไปสำหรับเหตุผลอย่างที่ว่า มันไม่สามารถแม้แต่จะถูกกำหนดทฤษฎีของรัสเซลล์ชนิดถูกสร้างขึ้นตามความคิดอย่างสวยงาม อับ เพื่อให้"ทำงาน รัสเซลถูกบังคับให้เพิ่มโฮสต์ของสมมติฐานใหม่ จนในที่สุดทฤษฎีผลกลายเป็นยุ่งยากเกินไปในการทำงานกับ และซับซ้อนเกินกว่าจะพอใจอย่างแท้จริง สำหรับสิ่งหนึ่งไม่สอดคล้องกัน

ผลลัพธ์ (ไทย) 2:

อะไรคือเป้าหมายหัวหน้าของจริงทฤษฎีเซตและสิ่งที่ขอบเขตเป้าหมายเหล่านี้ได้รับการประสบความสำเร็จ
บรรลุ? เพื่อที่จะตอบคำถามที่เราต้องจำไว้สถานการณ์ที่นำ
นักคณิตศาสตร์ในปีแรกของศตวรรษที่ยี่สิบเพื่อค้นหาพื้นฐานซึ่งเป็นจริงในการตั้ง
ทฤษฎี ความคิดของแคนเทอร์อยู่แล้วได้อย่างทั่วถึงเต็มผ้าของคณิตศาสตร์ที่ทันสมัยและ
ได้กลายเป็นเครื่องมือที่ขาดไม่ได้ของนักคณิตศาสตร์ที่ทำงาน พีชคณิตและการวิเคราะห์สูตร
ภายในกรอบของทฤษฎีเซตและบางส่วนของที่หรูหราที่สุดผลการใหม่ที่มีประสิทธิภาพในสาขาเหล่านี้
ถูกจัดตั้งขึ้นโดยใช้วิธีการแนะนำให้รู้จักกับแคนเทอร์และลูกน้องของเขา ดังนั้นเมื่อ
ความขัดแย้งที่ถูกค้นพบและมีข้อสงสัยที่เกิดขึ้นเป็นไปได้ความถูกต้องพื้นฐานของระบบต้นเสียงส่วนใหญ่
เป็นนักคณิตศาสตร์ที่เข้าใจไม่เต็มใจที่จะให้มันขึ้น; พวกเขาเชื่อถือได้ว่าทางใดทางหนึ่งจะได้รับการ
ค้นพบที่จะหลีกเลี่ยงความขัดแย้งและรักษาหากไม่ได้ทั้งหมดอย่างน้อยที่สุดของผลต้นเสียง.
Hilbert เคยเขียนในการเชื่อมต่อนี้: "เราจะไม่ถูกไล่ออกจากสวรรค์ลงไปที่ต้นเสียง
. ได้นำพวกเรา "
กับการค้นพบใหม่ของความขัดแย้งและความล้มเหลวของความพยายามครั้งแรกที่จะหลีกเลี่ยงพวกเขาก็
กลายเป็นที่ชัดเจนมากขึ้นว่ามันจะเป็นไปไม่ได้ที่จะรักษาตั้งทฤษฎีที่ใช้งานง่ายในสิ่งทั้งปวง.
บางสิ่งบางอย่างอาจจะเป็นค่อนข้างมาก-จะต้องถูกทิ้งร้าง . ที่ดีที่สุดที่หนึ่งจะหวัง
คือการรักษาเท่าของการตั้งทฤษฎีที่ใช้งานง่ายเป็นเป็นสิ่งที่จำเป็นที่จะบันทึกผลการใหม่ที่ทันสมัย
​​คณิตศาสตร์และให้กรอบการทำงานที่เพียงพอสำหรับคณิตศาสตร์คลาสสิก.
สั้น ๆ แล้วจริงทฤษฎีเซตที่ถูกสร้างขึ้นเพื่อให้บรรลุจุดมุ่งหมายที่ จำกัด มันมีที่จะให้ บริษัท
รากฐานสำหรับระบบการทำงานของทฤษฎีเซตซึ่งในขณะที่มันไม่จำเป็นต้องเป็นที่ครอบคลุมเป็นที่ใช้งานง่าย
ทฤษฎีต้องชุดรวมทั้งหมดของผลการขั้นพื้นฐานของคันทอร์เช่นเดียวกับการก่อสร้าง (เช่นจำนวน
ระบบฟังก์ชั่น และความสัมพันธ์) ที่จำเป็นสำหรับคณิตศาสตร์คลาสสิก.
ระบบของทั้งสอง Zermelo von Neumann และประสบความสำเร็จในการบรรลุเป้าหมายนี้มีจุดมุ่งหมายที่ จำกัด แต่
ปริมาณของการตั้งทฤษฎีที่ใช้งานง่ายที่พวกเขาจะต้องเสียสละเป็นอย่างมาก ยกตัวอย่างเช่นใน
ระบบของ Zermelo ที่เราได้เห็นแล้ววิธีที่ง่ายในการทำตั้งชื่อชุดโดยโรงแรม
ของวัตถุและการสร้างชุดของวัตถุทั้งหมดที่มีที่สถานที่ให้บริการไม่ได้เกิดขึ้นในทุก มันถูก
แทนที่ด้วยความจริงของการเลือกในการที่จะได้รับอนุญาตคุณสมบัติเฉพาะเพื่อตรวจสอบส่วนย่อยของ
ชุดที่กำหนด นอกจากนี้เท่านั้นที่ยอมรับ "คุณสมบัติ" เป็นผู้ที่สามารถแสดงทั้ง
ในแง่ของเจ็ดสัญลักษณ์∈, ∨, ∧, ¬, ⇒, ∀, ∃และตัวแปร x, y, z ... เป็นผลให้หลายคน
สิ่งที่เรามักคิดว่าเป็นชุดเช่น "ตั้งแอปเปิ้ลทุกคน" "ตั้งของอะตอมทั้งหมด
ในจักรวาล "สรรพไม่ยอมรับว่าเป็น" ชุด "ในทฤษฎีตั้งซึ่งเป็นจริง ในความเป็นจริงเท่านั้น "ชุด" ซึ่ง
หลักการให้เป็นครั้งแรกเซตว่างØแล้วการก่อสร้างเช่น {Ø}, {Ø {Ø}} ฯลฯ
ซึ่งสามารถสร้างขึ้นมาจากความว่างเปล่า ชุด มันเป็นความจริงที่น่าทึ่งว่าทั้งหมดของคณิตศาสตร์จะขึ้น
อยู่กับแนวคิดดังกล่าวน้อยชุด.
ในขณะที่ระบบซึ่งเป็นจริงต่างๆของทฤษฎีเซตบันทึกคณิตศาสตร์จากอันตรายของมันทันทีที่พวกเขา
ล้มเหลวในการตอบสนองที่ดีหลาย ๆ คน โดยเฉพาะอย่างยิ่งหลายคนที่มีความไวต่อความสง่างามและ
ความเป็นสากลของคณิตศาสตร์ได้อย่างรวดเร็วเพื่อชี้ให้เห็นว่าการสร้างสรรค์ของ Zermelo von Neumann และ
จะต้องได้รับการยกย่องให้เป็นโซลูชั่นที่เป็นชั่วคราว expedients ในการแก้ปัญหาชั่วคราว พวกเขาจะ
ต้องถูกแทนที่ไม่ช้าก็เร็วโดยทฤษฎีทางคณิตศาสตร์ของขอบเขตที่กว้างซึ่งถือว่า
แนวคิดของการ "ตั้ง" เต็มของทั่วไปที่ใช้งานง่าย.
เรื่องนี้กับชุดว่าทฤษฎีซึ่งเป็นจริงมันเกี่ยวข้องกับรุ่นด้วนของเรา ที่ใช้งานง่าย
ความคิดของการตั้งเครือข่ายมีปรัชญาที่สำคัญ มันเป็นส่วนหนึ่งของการอภิปรายที่กว้างไกลใน
ลักษณะของคณิตศาสตร์ศูนย์การอภิปรายรอบคำถามต่อไปนี้ "ความจริง." มีทางคณิตศาสตร์
สร้างสรรค์แนวความคิด (นั่นคือสิ่งประดิษฐ์) ของจิตใจมนุษย์หรือพวกเขามีอยู่เป็นอิสระของเราใน
"สงบ" ขอบเขตของแนวความคิดเพียงจะได้รับการค้นพบโดยนักคณิตศาสตร์? ความเห็นหลัง
มักจะเรียกว่า "ความสมจริงอย่างสงบ" และมีมุมมองที่โดดเด่นของคณิตศาสตร์คลาสสิก เรา
แสดงให้เห็นถึงทั้งสองจุดในมุมมองของฝ่ายตรงข้ามโดยการแสดงวิธีที่พวกเขานำไปใช้กับแนวคิดโดยเฉพาะอย่างยิ่ง
ความคิดของจำนวนธรรมชาติ จากมุมมองของความสมจริงสงบแนวคิด "หนึ่ง", "สอง"
"สาม" และอื่น ๆ ที่มีอยู่ในธรรมชาติและมีอยู่ก่อนคนแรกเริ่มที่จะนับ ถ้าสิ่งมีชีวิตที่มีความคิดสร้างสรรค์
ที่มีอยู่ในจักรวาลอื่น ๆ แล้วไม่ว่าวิธีการที่แตกต่างกันพวกเขาจะจากเราพวกเขามีข้อสงสัยใด
ค้นพบจำนวนธรรมชาติและพบว่าพวกเขามีคุณสมบัติเหมือนกันที่พวกเขามีให้เรา บน
มืออื่น ๆ ตามที่ฝ่ายตรงข้ามจุดของมุมมองในขณะที่สามวัวสามก้อนหินหรือสามต้นไม้
ที่มีอยู่ในธรรมชาติจำนวนธรรมชาติสามคือการสร้างจิตใจของเรา; เราได้คิดค้นขั้นตอนสำหรับการ
สร้างจำนวนธรรมชาติ (โดยเริ่มต้นจากศูนย์และการเพิ่ม 1 ในแต่ละครั้งจึงผลิต
อย่างต่อเนื่อง 1, 2, 3, ฯลฯ ) และมีในลักษณะนี้ fashioned เครื่องดนตรีแนวความคิดของเราเอง
ทำ.
อย่างไรสงบ ส่งผลกระทบต่อความสมจริงสถานะของจริงทฤษฎีเซต? จากมุมมองของ
ความเป็นธรรมชาติสงบวัตถุทางคณิตศาสตร์ที่มีให้กับเราพร้อมทำที่มีคุณสมบัติทั้งหมดของพวกเขาและพวกเขาทั้งหมด
คุณสมบัติ มันตามที่จะบอกว่าทฤษฎีบทคณิตศาสตร์เป็นความจริงหมายความว่ามันเป็นการแสดงออกถึงความถูกต้อง
คำสั่งเกี่ยวกับวัตถุทางคณิตศาสตร์ที่เกี่ยวข้อง (ยกตัวอย่างเช่นเรื่องที่ 2 + 2 = 4 ไม่ได้เป็น
เพียงคำสั่งอย่างเป็นทางการสามารถพิสูจน์ได้ในการคำนวณ. ระบุความเป็นจริงเกี่ยวกับตัวเลข) ตอนนี้ถ้า
เรายอมรับว่าวัตถุทางคณิตศาสตร์ที่มีให้กับเราด้วยคุณสมบัติทั้งหมดของพวกเขาก็ดังต่อไปนี้ โดยเฉพาะอย่างยิ่ง
ที่ความคิดของชุดจะได้รับการแก้ไขที่ดีที่กำหนดแนวความคิดที่เราไม่ได้ฟรีที่จะปรับเปลี่ยนของเราเองสำหรับ
ความสะดวกสบาย ดังนั้น "ชุด" สร้างขึ้นโดย Zermelo และ von Neumann ไม่อยู่และทฤษฎีบทซึ่ง
ตั้งใจที่จะอธิบายไม่มีวัตถุเหล่านี้เป็นเท็จ! สรุปได้ว่าถ้าเราจะยอมรับการเข้มงวด
การตีความของความสมจริงสงบเราจะถูกบังคับให้ปฏิเสธระบบ Zermelo และฟอน
นอยมันน์เป็นไม่ถูกต้องทางคณิตศาสตร์.
โชคดี, แนวโน้มสำหรับเวลาในขณะนี้บางส่วนได้รับออกไปจาก platonism และต่อ อื่น ๆ อีกมากมาย
ที่มีความยืดหยุ่นมากขึ้นทัศนคติ "ไม่เชื่อเรื่องพระเจ้า" ไปทางคณิตศาสตร์ "ความจริง". สำหรับสิ่งหนึ่งที่การพัฒนาใน
วิชาคณิตศาสตร์ได้รับสอดคล้องน้อยลงและน้อยกับรูปแบบการกำหนดโดยปรัชญาสงบ สำหรับ
อีกหนึ่งความต้องการสำคัญของ platonism ที่ทุกวัตถุทางคณิตศาสตร์ที่สอดคล้องกับ
ที่แน่นอนของวัตถุที่แตกต่างของสัญชาตญาณของเรา (เช่นเดียวกับ "จุด" และ "สาย" หมายถึงวัตถุที่ดีที่กำหนดของเรา
ปรีชาเชิงพื้นที่) -came จะเป็นเกือบ ภาระเหลือทนในการทำงานของนักคณิตศาสตร์สร้างสรรค์
โดยศตวรรษที่สิบเก้า พวกเขาได้รับการติดต่อกับโฮสต์ของแนวคิดใหม่ (เช่นตัวเลขที่ซับซ้อน
กฎหมายนามธรรมขององค์ประกอบและความคิดทั่วไปของฟังก์ชั่น) ซึ่งไม่ได้ยืมตัวให้
ตีความง่ายในแง่ที่เป็นรูปธรรม กรณีของตัวเลขที่ซับซ้อนเป็นภาพที่ดีของ
สิ่งที่เกิดขึ้น คณิตศาสตร์คลาสสิกไม่เคยรู้สึกสบายใจกับตัวเลขที่ซับซ้อนสำหรับมันขาด
ความเหมาะสม "ตีความ" ของพวกเขาและเป็นผลให้มีข้อสงสัยจู้จี้เป็นไปได้ว่าสิ่งนั้น
จริงๆ "อยู่." ตัวเลขจริงอาจตีความได้ว่ายาวหรือปริมาณ แต่รากที่สองของ
จำนวนนี้จริงเชิงลบไม่ได้ดูเหมือนจะสอดคล้องกับสิ่งที่อยู่ในโลกแห่งความจริงหรือในสัญชาตญาณของเรา
จำนวน แต่ระบบการทำงานของตัวเลขที่ซับซ้อนที่เกิดขึ้นในทางที่เป็นธรรมชาติมากที่สุดเล็กที่สุด
ระบบตัวเลขที่มีตัวเลขจริงและรวมถึงรากของทุกสมการพีชคณิต
ที่มีสัมประสิทธิ์จริง หรือไม่ว่าจะมีตัวเลขที่ซับซ้อนทางร่างกายหรือจิตใจ
คู่ดูเหมือนไม่เกี่ยวข้อง.
กรณีของตัวเลขที่ซับซ้อนนัดขนานกับปัญหาของจริงทฤษฎีเซต สำหรับ
"ชุด" สร้างขึ้นโดย Zermelo และ von Neumann เกิดขึ้นค่อนข้างเป็นธรรมชาติในบริบททางคณิตศาสตร์ พวกเขา
ทำให้เรามีความคิดที่ง่ายที่สุดของชุดซึ่งเป็นที่เพียงพอสำหรับการคณิตศาสตร์และอัตราผลตอบแทนจริงที่สอดคล้อง
ทฤษฎี หรือไม่เราสามารถแปลความหมายได้อย่างสังหรณ์ใจอาจจะไม่สำคัญค่อนข้าง.
เป็นไปได้ว่ามันอาจคณิตศาสตร์จำนวนมากในช่วงต้นปี 1900 ไม่เต็มใจที่จะให้ความคมชัดเพื่อแบ่ง
กับประเพณีเป็นจริงทฤษฎีเซตดูเหมือนจะเรียกร้อง นอกจากนี้พวกเขารู้สึกว่าในบริเวณงาม
ที่ทฤษฎีทางคณิตศาสตร์ของชุดควรจะอธิบายสิ่งและทุกสิ่งเท่านั้นซึ่งผู้ที่เรา
ตระหนักถึงสัญชาตญาณที่จะเป็นชุด ในหมู่พวกเขาเป็นเบอร์ทรานด์รัสเซล; ในความพยายามของเขาที่จะกลับไปใช้งานง่าย
ตั้งทฤษฎี, รัสเซลนำไปสู่ความคิดที่ว่าเราอาจจะพิจารณาชุดที่จะสั่งซื้อในลำดับชั้นของ
"ระดับ" ที่ถ้าและเป็นชุดและเป็นองค์ประกอบของแล้วคือ "หนึ่งระดับ ที่สูงขึ้น "กว่า A.
ตัวอย่างเช่นในรูปทรงเรขาคณิตเครื่องบินวงกลม (ถือได้ว่าเป็นชุดของจุด) เป็นระดับที่ต่ำกว่าครอบครัวของ
วงการซึ่งในที่สุดก็เป็นระดับที่ต่ำกว่าชุดของครอบครัวของวงการ ความคิดพื้นฐานนี้ถูกสร้างขึ้นโดย
รัสเซลเข้าไปในทฤษฎีที่เรียกว่าทฤษฎีของชนิดซึ่งสามารถอธิบายได้ในสาระสำคัญดังต่อไปนี้.
ชุดทุกคนมีจำนวนธรรมชาติกำหนดให้มันเรียกว่าระดับ ชุดง่ายผู้ที่ระดับ 0,
จะเรียกว่าบุคคลที่พวกเขาไม่ได้มีองค์ประกอบ คอลเลกชันของบุคคลที่เป็นชุดของระดับที่ 1;
คอลเลกชันของชุดระดับที่ 1 คือชุดของระดับ 2; เป็นต้น ในทางทฤษฎีประเภทแสดงออก∈ B
เป็นเพียงความหมายถ้าจำนวน n บางคือชุดของระดับ n และ B เป็นชุดของระดับ n + 1 ต่อไป
ว่าคำสั่ง x ∈ x ไม่มีความหมายใน ทฤษฎีของชนิดและเป็นผลให้ความขัดแย้งของรัสเซล
หายไปด้วยเหตุผลง่ายๆว่ามันจะไม่ได้ถูกกำหนด.
ทฤษฎีของรัสเซลประเภทถูกสร้างขึ้นบนความคิดที่เรียบง่ายสวยงาม แต่น่าเสียดายที่ในการที่จะทำให้มันเป็น
"งาน" รัสเซลถูกบังคับให้เพิ่มโฮสต์ของสมมติฐานใหม่จนในที่สุดส่งผลให้ทฤษฎี
กลายเป็นยุ่งยากเกินไปที่จะทำงานกับและมีความซับซ้อนเกินไปที่จะเป็นที่ชื่นชอบอย่างแท้จริง สำหรับสิ่งหนึ่งที่
เสื้อที่สอดคล้องกัน

ผลลัพธ์ (ไทย) 3:

บิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิตบิต