Bipolar Demon said:
Well to be honest I want to major in math and I thought logic and analysis, and a little bit of philosophy (to learn them) was the best prepation?
Actually I think I understand the issue.
See, the thing is, there there's foundations and then there's
f o u n d a t i o n s .
Does that help?
By the first I mean the foundations of mathematics that are helpful for being able to communicate about math and do proofs. Logic, set theory, and so forth. This is the kind of stuff that you will find in an "intro/bridge to advanced/abstract" mathematics type book or course or sometimes in a "chapter 0" of a math textbook where the "basics" are covered.
The other type of foundations is going even deeper into what numbers
really are, completeness, incompleteness, etc. Usually this will be under the title "mathematical logic."
There's a little bit of overlap. The axiom of choice (AOC), zorns lemma, ZFC set theory (as opposed to other types) are things you will learn in a course on mathematical logic but which will also be explained in a less detailed way in a bridge type course. You can write proofs just fine if you don't have a deep understanding of all these things, but you may run into areas where you should know that you are invoking AOC and why for a long time people thought this was a big deal.
I THINK what you want to learn is the type of foundations you will actually need for studying math.
Where to learn it?
I personally loved going through the "bridge to abstract math" type books and just learning about set theory, logic, proofs, etc. I enjoyed
https://www.amazon.com/dp/0521675995/?tag=pfamazon01-20.
Some people find approach this dry, or curmudgeonly exclaim how that when they were in school, (which they walked to uphill in the snow for 10 miles to get to) they didn't have books or classes like this, and they had to learn it the hard way in an analysis course.
As I mentioned earlier, many textbooks have a chapter 0 or dedicate the first chapter to the foundational stuff that will be needed later in the course. I've found this especially with graduate textbooks like Munkre's topology. It's considered "The stuff you should know before studying this." Hungerford's Algebra also has a great first chapter.
edit: I have too many books on the computer and in hardcopy. its hard to keep disciplined
Extremely hard. I couldn't really do it without specific classes looming.
-Dave K