is the fact that all derived math can be traced back to established truths or axioms a form of logic?

Question

anonymous · Answer

A fact is not 'logic' though it could be logical. It makes logical sense that all math (done properly) can be traced back to established truths or axioms. Logical operation is, after all, the root basis of mathematics.

anonymous · Answer

"Logical operation is, after all, the root basis of mathematics." that is a really interesting point, could you develop upon it?

anonymous · Answer

Mathematics is really just a form of logic. Your mathematical operators (+, -, x, / etc...)  are just like logical operators (not, and, or, if) and writing a mathematical proof is almost identical to writing a logical proof. These are no coincidences. :D

anonymous · Answer

nice

anonymous · Answer

I can't really delve into the finer details (because I don't know them myself ) but I've taken several math and logic courses, and they are really almost the same thing. Number theory is derived from logical arguments, and almost all of the techniques between the two are interchangeable, even if their applications are slightly different.