User blog comment:LittlePeng9/First order oodle theory - clarification/@comment-172.56.15.100-20161022034401

How can someone invent large numbers with first order set theory? How does first order set theory relate to uncomputable functions?