Thanks for the elaboration. So there hasn’t been any successful reduction of one to the other, which was my point. I don’t doubt that math and logic belong to the same broad category of types of reasoning, I am simply not convinced that math is logic or logic is math.

That said, not much in our original discussion hinges on this, or am I missing something?