魚拓のURL：https://megalodon.jp/2017-0613-1132-51/https://mindsarentmagic.org:443/2016/07/18/expressing-computable-ordinals-as-programs/

理由 （必須）

確認

ご入力内容は「個人情報のため」「わいせつ物のため」といった分類以外公開されませんので、ご安心ください。