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-neg...