Hello, infinite-set readers. Set Theory is back. In this post will discuss about finite recursion theorem. It’s used to define the operation on natural numbers. Why does this need to be discussed? Back to the previous sense, any natural number is seen as a set (if you don’t know about this, you can read from