Hi, infinite-set readers. Set theory is back. The previous post is on this link. Please read in advance to easily understand this post. Today we will discuss about the addition operation on natural numbers. Happy reading. The consequence of the Finite Recursion Theorem raises a theorem. The theorem is also called Finite Recursion Theorem because