For those wanting to read more about this this is exactly how the real numbers are defined in the lambda calculus. https://cs.stackexchange.com/questions/2272/

For those wanting to read more about this this is exactly how the real numbers are defined in the lambda calculus. https://cs.stackexchange.com/questions/2272/representing-negative-and-complex-numbers-using-lambda-calculus https://cs.stackexchange.com/questions/2272/representing-neg...