[drilldrive]

>We don't really know if [mathematics] is sound. My apologies, I was hoping to be concise. I meant to say that mathematics is sound relative to the assumptions, which is exactly correct. But if the assumptions do not hold in reality (and they never quite do), then the theory as a whole is slightly off. I mean to say that mathematics is never 'correct' with reference to reality, but of course is always 'correct' with reference to the axioms.