I have tossed set theory out entirely. I consider Lambda foundational. I am not even talking about comparing sets. I am talking about comparing infinite-precis

I have tossed set theory out entirely. I consider Lambda foundational. I am not even talking about comparing sets. I am talking about comparing infinite-precision floats to themselves. Any system that does it in O(1) is broken.