Munificent
发表于 2025-3-28 17:35:25
http://reply.papertrans.cn/16/1557/155692/155692_41.png
doxazosin
发表于 2025-3-28 18:46:21
http://reply.papertrans.cn/16/1557/155692/155692_42.png
鲁莽
发表于 2025-3-29 02:16:52
http://reply.papertrans.cn/16/1557/155692/155692_43.png
promote
发表于 2025-3-29 03:25:45
http://reply.papertrans.cn/16/1557/155692/155692_44.png
两种语言
发表于 2025-3-29 07:44:57
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.
expeditious
发表于 2025-3-29 13:02:26
Goodstein’s Theoremment 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-29 15:38:43
http://reply.papertrans.cn/16/1557/155692/155692_47.png
outskirts
发表于 2025-3-29 22:33:08
http://reply.papertrans.cn/16/1557/155692/155692_48.png
无能性
发表于 2025-3-30 01:41:46
8楼
干涉
发表于 2025-3-30 07:05:09
8楼