[jplusequalt]

I would say that a mathematical construction is based in logic, maybe not in the traditional sense, but there is definitely logic behind the construction itself. I think we are talking past one another, what I mean by logic here is more nebulous than predicate calculus. There is an innate logic behind the philosophy of mathematics and I believe you cannot divorce mathematics from logic.