【次期総理の座は】国際的な小咄【誰の手に？】 - 1759231745

823：ミジュニキ ◆XksB4AwhxU：2025/10/02(木) 00:03:05 ID:m3P3idyQ: 2/13
　　　　　　　　　　　　　　　　　　＿＿　 , -― ､　　　　　　 |
　　　　　　　　　　　　　　,　　"´　　　　｀ヽ::::::::::}　　　　　　 |幸いなことに、自然数を要素とする集合をなんやかんやすれば
　　　　　　　　　　 , -‐／　　　　　　　　　　＼:ﾉ　　　　　　 |
　　　　　　　　 l:::::/　　　　　　　　　 , =､　　ヽ　　　　　　 |整数集合や有理数集合を構成することができることが分かってたので
　　　　　　　　　　 l::/　　　／ ⌒丶　 l|　　　　　',　　　　　 |
　　　　　　　 ‘;'　 ,=､｛: : : : : ﾉ ,、　, 　 '　　 }　　　　　 |一昔前の人々は「「自然数集合」や「実数集合」とは何か」について
　　　　　　　　　 {　 l|　　｀二~´ ﾍ!|　　　,　　 /　　　　　 |
　　　　　　　　　 , -‘、,　 ' 　 Vl'　　　|　　　　　/ ／｀!　　　 |熱心に研究をしていたんだ。
　　　　　　　　／＾丶＼ ' 　　＼＿ノ/⌒ヽ'⌒／　 /　　　 |
　　　　　　　/＾ヽ　　 Y-≧､ /⌒ヽ-‐'　　　　く　　 /　　　　 |
　　　　　　丶-‐ﾍ _ノ､　乂_　　　　　　　　　　／ﾌ~ ﾌ７　　 |そんで最終的には「自然数集合」という集合を、
　　　　　　　　　　　　　＼　/　　　　　　　　　/::::/:::::/:/　　 |
　　　　　　　　　　　　　　｀{　　　　　　　　　/:::::::::::::／　　　 |空集合φとそれを「次のnは「n∩｛n｝」」という規則に従って展開した集合を要素に持つ
　　　　　　　　　　　　　 |　　　　　　　 /:::::::::／　　　　　|
　　　　　　　　　　　　　　　　、　　　　　　　{__,／/＿＿　　　|｛ φ, ｛φ｝, ｛φ∩｛φ｝｝, ｛φ∩｛φ｝,｛φ∩｛φ｝｝｝, …｝
　　　　　　　　　　　　　　　　＼　　　　　　　／:::::::::::::::ﾉ　　|
　　　　　　　　　　　　　　　　　 /｀:::T冖￢≦､＿＿__／　　 |として分析することによって自然数を扱うことに成功するんだ。
　　　　　　　　　　　　　　　 /:::::::::|　　　　　　　　　　　　　 |
　　　　　　　　　　　　　 /:::::::::::j　　　　　　　　　　　　　 |
　　　　　　　　　　　　 /:/:::/::/　　　　　　　　　　　　　 |いわば「「集合を要素に持つ」集合」を自然数集合とするわけなんだな。
　　　　　　　　　　　　　　　｀ ¨¨¨´　　　　　　　　　　　　　　 |
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 |
　　　　　　　　　　 r‐ ､_,,..　　..,,_　　　　　　　 |
　　　　　　　　　　　　　{／´ r‐ ､　　｀丶　　　　 |そうして作られた「集合」にたいして最後に「四則演算表」を割り当てるという方針で
　　　　　　　　　　　 /　　　|:.:.:.:ヽ　　　　 ,_　　 |
　　　　　　　　 /　　　ヽ:.:.:.:｝　　ｆﾊ　l:.:l　　 |「数」を他人にも理解できるように伝えようとする方法は「集合論的アプローチ」と呼ばれる。
　　　　　　　　　　　 {　　　　　｀¨´　　ﾋﾉ　l:.ﾉ　　|
　　　　　　　　　　　r-､　　　　　　　　 ' ,' _,/　　　 |
　　　　　　　　　　　{　＼, - ､　　　　 /　　　　 |まぁ、「「集合を要素とする」集合」というややこしい「集合」を適切に扱うためにいくつか公理が
　　　　　　　　　　　',　　ヽ　}⌒ヽ. 　／　　　　 |
　　　　　　　　　　　 ∧　　 /　　　　Y´　　　　　　 |必要だったようで、集合論は最終的に「公理的集合論(ZFC公理系)」へと整備されるわけだが。
　　　　　　　　　 /　丶- '　　　　　[l|　　　　　　 |
　　　　　　　　　　 ,　　　　　　　 lﾉ　　　　　　 |
　　　　　　　　　　 {　　　　　　　　　/　　　　　　　 |そんな感じの集合論的アプローチで作られた、「集合で表現される数」というものは
　　　　　　　　　　／⌒}　　　　　／_　　　　　　　 |
　　　　　　／.:.:.:.:.:/ーr-‐ '´:.:.:.:.:)　　　　　　　|文字通り(自然数集合の各要素など参照)に「箱モノ」としての「数」でしかないんだ。
　　　　　　　〈:.:.:.:.:.／　　　￣￣￣　　　　　　　　 |
　　　　　　｀¨´　　　　　　　　　　　　　　　　　 |
　　　　　　　　　　　　　　　　　　　　　　　　　　　 |