@gobbledydook,
If people who have problems with the proof(s) given on the first page, then why do you think more sophisticated or "formal" proofs will convince them? If they think their opinions matter on the basic rules/definitions of mathematics or logic, then why would they "accept" the concepts of limits, of abstract algebra, of delta and sigma? Some ideas, such as gravity, can be explained or "watered down" for the general public. Almost every educated person understands what gravity is (I hope), but when you start talking about general relativity and the space-time continuum, the faux understanding of "gravity" melts away. The fact of the matter is that most of us are not capable to really understanding how axiomatic systems work because we do not have "real life experience" equivalents for them and most of us understand what we see and deal with on a regular basis.
For a very math-oriented example, the principle of mathematical induction is one that eludes the vast majority of people including doctorates of other fields and many undergraduate math majors. Let's go with just the weak induction:
You are trying to prove that P(n) is always true for n>=1 (n is an integer). Here's what you need:
A. Show P(1) to be true.
B. Assume P(k) to be true and show P(k+1) has to be true.
If you have both A and B, then P(n) is true for all n>=1.