没有准备 发表于 2025-3-23 12:13:12
http://reply.papertrans.cn/16/1557/155692/155692_11.pngPalatial 发表于 2025-3-23 15:59:25
René König Schriften. Ausgabe letzter Handment that it is hard to believe it is true. Second, while the theorem is entirely about . integers, Goodstein’s proof uses . ordinals. Third, 37 years after Goodstein’s proof appeared, L. Kirby and J. Paris proved that the use of infinite sets is actually ..That is, this is a theorem of arithmetic t色情 发表于 2025-3-23 21:14:28
http://reply.papertrans.cn/16/1557/155692/155692_13.png原谅 发表于 2025-3-24 02:16:51
https://doi.org/10.1007/978-3-642-92382-1he subtraction problems themselves. Lacking division, we created ℚ out of the division problems. What do we lack now? Quite a few numbers really. We can’t take square roots, for example, but many other important numbers are missing.SEEK 发表于 2025-3-24 02:24:34
https://doi.org/10.1007/978-1-4613-8680-3Finite; calculus; cardinals; mathematics; ordinal; set theory; theoremImmunization 发表于 2025-3-24 09:12:24
http://reply.papertrans.cn/16/1557/155692/155692_16.png字谜游戏 发表于 2025-3-24 13:11:13
Introductiond methods pervade mathematics. Set-theoretic results have shaken the worlds of analysis, algebra, and topology. Simple questions about sets have split the mathematical community into hostile camps, and the romance of its infinite sets have charmed and challenged philosophers as nothing else in mathematics.推崇 发表于 2025-3-24 16:55:54
Logic and Set Theoryhow a few very important mathematical objects such as functions and relations can be formed from sets. Just as we have chosen to build mathematics using set theory, we will build set theory using logic.焦虑 发表于 2025-3-24 20:51:52
http://reply.papertrans.cn/16/1557/155692/155692_19.png有角 发表于 2025-3-25 00:12:36
The Real Numbershe subtraction problems themselves. Lacking division, we created ℚ out of the division problems. What do we lack now? Quite a few numbers really. We can’t take square roots, for example, but many other important numbers are missing.