> OK, but has anyone managed to construct the real numbers with intuitionist logic? I think it should be possible to do so. As long as you don't need the law o

> OK, but has anyone managed to construct the real numbers with intuitionist logic? I think it should be possible to do so. As long as you don't need the law of the excluded middle you should be fine. > Maybe different logics are like different building materials, each with their own advantages and disadvantages. I see where you're coming from, but I think logic is more than just a tool.