<p>@aegrisomnia
“Not to mention, I’m not sure what to make of so-called “intricacies” surrounding continuity. Continuity is a simplifying assumption, or assumption by fiat, used precisely for the purpose of making everything easier by avoiding at all costs needing to treat every problem of analysis as a problem of discrete mathematics.”</p>
<p>The “problem” is in the word ‘assumption’. And the need to axiomatize (without a deep notion about the axiom’s correctness or universality) for provability. It’s a philosophical/philosophy of mathematics question.</p>
<p>And why it may be that something closer to logic, like discrete math, may open one to see better what “higher level” maths do, is logical in the sense that higher math “should be” logical as well.</p>