# #604292 (Mathematics #2894488)

Visit post

{"action":"155-questions-active","data":"{\"siteBaseHostAddress\":\"math.stackexchange.com\",\"id\":2894488,\"titleEncodedFancy\":\"Proof of the recursion theorem\",\"bodySummary\":\"The present statement of the theorem is as follows:\\r\\n  Let $A$ be a set with an element $a \\\\in A$, and let $\\\\psi\\\\colon A \\\\to A$ be a map. There exists a unique map $f\\\\colon \\\\mathbb{N} \\\\to A$ with \$f(1)...\",\"tags\":[\"elementary-set-theory\",\"recursion\"],\"lastActivityDate\":1536401249,\"url\":\"https://math.stackexchange.com/questions/2894488/proof-of-the-recursion-theorem\",\"ownerUrl\":\"https://math.stackexchange.com/users/184313/danny-hansen\",\"ownerDisplayName\":\"Danny Hansen\",\"apiSiteParameter\":\"math\"}"}
{"stackapps.com":["8013"],"expressionengine.stackexchange.com":["28713"],"vegetarianism.stackexchange.com":["1018"],"stellar.stackexchange.com":["1606"],"italian.stackexchange.com":["9865"],"cseducators.stackexchange.com":["5023"],"russian.stackexchange.com":["17123"],"ebooks.stackexchange.com":["5855"],"portuguese.stackexchange.com":["5484"],"ukrainian.stackexchange.com":["3408"],"chess.stackexchange.com":["22448"],"boardgames.stackexchange.com":["43320"],"quantumcomputing.stackexchange.com":["1881"],"augur.stackexchange.com":["825"],"korean.stackexchange.com":["4755"],"psychology.stackexchange.com":["20630"],"coffee.stackexchange.com":["4379"],"devops.stackexchange.com":["4720"],"chinese.stackexchange.com":["31316"],"latin.stackexchange.com":["7162"],"quant.stackexchange.com":["41621"],"literature.stackexchange.com":["6559"],"aviation.stackexchange.com":["54912"],"cstheory.stackexchange.com":["41493"],"opendata.stackexchange.com":["13294"],"christianity.stackexchange.com":["66267"],"cs.stackexchange.com":["97070"],"bicycles.stackexchange.com":["16877"],"earthscience.stackexchange.com":["15051"],"matheducators.stackexchange.com":["14504"],"mechanics.stackexchange.com":["54200"],"tor.stackexchange.com":["17544"],"video.stackexchange.com":["23024"],"pt.stackoverflow.com":["153663","328183","203296","328174","229064"],"french.stackexchange.com":["31606"],"ai.stackexchange.com":["7865"],"tex.stackexchange.com":["449978","449869","449909","17181"],"eosio.stackexchange.com":["2240"],"blender.stackexchange.com":["117905","117909","117880","67765"],"mathematica.stackexchange.com":["181480"],"codereview.stackexchange.com":["86928","203325","203338","135011"],"chemistry.stackexchange.com":["101465"],"stats.stackexchange.com":["365942","365943","365563","237202"],"esperanto.stackexchange.com":["4987"],"opensource.stackexchange.com":["7325"],"philosophy.stackexchange.com":["55283"],"ru.stackoverflow.com":["878843","878477","877633","878879","610760","878795","878799"],"datascience.stackexchange.com":["37962"],"puzzling.stackexchange.com":["71707"],"sustainability.stackexchange.com":["36"],"cooking.stackexchange.com":["60238"],"ux.stackexchange.com":["118056"],"magento.stackexchange.com":["124363"],"gamedev.stackexchange.com":["138324"],"elementaryos.stackexchange.com":["15308"],"dba.stackexchange.com":["134640"],"german.stackexchange.com":["46846"],"networkengineering.stackexchange.com":["53088"],"unix.stackexchange.com":["467693"],"stackoverflow.com":["52233830"],"math.stackexchange.com":["2894488"]}
{"site":"math.stackexchange.com","posts":["2894488"]}
{"post":{"owner":{"reputation":61,"display_name":"Danny Hansen","link":"https://math.stackexchange.com/users/184313/danny-hansen"},"down_vote_count":0,"up_vote_count":3,"score":3,"last_activity_date":1536401249,"creation_date":1535230901,"question_id":2894488,"link":"https://math.stackexchange.com/questions/2894488/proof-of-the-recursion-theorem","title":"Proof of the recursion theorem","body":"Present, but truncated"},"check_if_spam":[false,null,""]}