＿＿＿_
　　　　　　 ／ ＼　　／＼　ｷﾘｯ
.　　　　　／　（ー） 　（ー）＼　　　　「>>659ノイマン構成の自然数全体の集合の中には
　　　　／　　 ⌒（__人__）⌒ ＼　　　　　{}が無限重となっている元が存在する
　　　　|　　 　　　|r┬-|　　　　|　　　　存在しなければ自然数全体の集合は無限集合でない！」
　　　　 ＼　　　　 `ー’´　　 ／
　　　　ノ　　　　　　　　　　 　＼
　 ／´　　　　　　　　　　　　 　　ヽ
　|　　　　ｌ　　　　　　　　　　　　　　＼
　ヽ　　　 -一””””~~｀`’ー?､　　　-一”””’ー-､.
　　ヽ ＿＿＿＿(⌒)(⌒)⌒)　)　　(⌒＿(⌒)⌒)⌒))