はてなブックマーク - ペアノの公理の後者をうっかり２つに増やすと実数になっちゃう説 - Qiita
https://b.hatena.ne.jp/entry/s/qiita.com/yumura_s/items/e06b5cf7b80c9c5effe3
なんでそう思ったかの概略 証明する気はないが、なんで実数（とBinat型のすべての値の集合の濃度が同じ）と思ったか、概略を述べておく。 まず、LSuccとRSuccをBizeroに有限回適用して得られる値の集合$B_0$は可...
-
toshiharu_z
https://b.hatena.ne.jp/toshiharu_z/20190908#bookmark-4673754156827425698
2019-09-08T02:20:12Z
-
ggkuron
https://b.hatena.ne.jp/ggkuron/20190906#bookmark-4674056130359206178
2019-09-06T14:23:08Z
-
xef
https://b.hatena.ne.jp/xef/20190905#bookmark-4673754156827425698
2019-09-05T13:45:46Z
Haskell
Math
-
mztns
https://b.hatena.ne.jp/mztns/20190904#bookmark-4673754156827425698
2019-09-03T21:57:55Z
-
kazutanaka
https://b.hatena.ne.jp/kazutanaka/20190902#bookmark-4673754156827425698
2019-09-02T05:24:04Z
haskell
-
Hiro_Matsuno
https://b.hatena.ne.jp/Hiro_Matsuno/20190901#bookmark-4673754156827425698
2019-09-01T04:28:12Z
-
lotz84
https://b.hatena.ne.jp/lotz84/20190831#bookmark-4673754156827425698
マ！？
2019-08-31T02:08:37Z