You certainly don't need to be able to do original research in maths to be able to work on the philosophy of maths. But you will need to be able to follow whatever maths is particularly relevant to your philosophical interests. How much maths that is, which topics at which levels, will depend on your philosophical projects. For example, compare and contrast the following questions (not exactly a random sample -- they all happen to interest me!):

1. "Is our basic arithmetical knowledge in any sense grounded in intuition?" Evidently, you don't need any special mathematical knowledge to tackle that.
2. "Can a fictionalist about mathematics explain its applicability?" Again, I guess that acquaintance with the sort of high school mathematics that indeed gets applied is probably all you really need to know to discuss this too.
3. "Just what infinitary assumptions are we committed to if we accept applicable mathematics as true?" Here you do need to get more into the maths, and know quite a lot about what can be reconstructed in various weak subsystems of full analysis, and about what infinitary assumptions these subsystems need.
   
4. "Is there a unified justification for all the axioms of the standard set theory ZFC?" You better know a bit of set theory to tackle this -- but you perhaps needn't know much about e.g. large cardinal axioms that take us beyond ZFC!
5. "Do we need axioms that take us beyond ZFC? -- and if so, what?" For this, by contrast, you will need to know more about the fancier reaches of set theory.
6. "Does category theory in any sense provide 'foundations' for mathematics rivalling the set theoretic approach?" Well, plainly, you better know some category theory to tackle this one.
   
7. "Why is the question whether P = NP so hard?" And you'll need to know qutie an amount about complexity theory for this one.
   
8. "How satisfactory is Lakatos's model of the growth of mathematical knowledge?" Here, by contrast, you'd be better equipped if you know a little about a lot of mathematics, rather than a lot about a little, so your discussions aren't to suffer from an impoverished diet of examples.

If the term 'proposition' is used to mean a sentence -- a string of symbols, be they spoken, written, gesticulated or whatever -- then I suppose there could be uncountably many propositions if we allow there to be propositions of infinite length. In that case, one ought to be able to diagonalise on them just as one does with the infinite decimal expansions of the real numbers. But I think it's reasonable to stipulate that we're only going to countenance finitely long sentences. After all, they wouldn't be much use in communication, if you could literally never get a sentence out.

Alternatively, if the set of symbols is itself uncountable, then that will certainly lead to an uncountable infinity of strings of such symbols. But it seems reasonable to stipulate against that case too. Communication would once again be thwarted, because we don't seem to have the perceptual capacity to discriminate between uncountably many different symbols -- indeed, our discriminatory abilities probably only extend to a finite (though no doubt very large) number.

But 'proposition' has been used in other ways over the years. So what if we take it to mean not the string of symbols itself, but rather the non-linguistic thing that such a sentence is expressing: a thought, or something of that kind? Well, then maybe there could be uncountably many propositions: we'd need to have a great deal more spelt out about the details of this notion before we'd be in a position to assess that. But (leaving aside any eccentric conceptions of sentences and symbols like those just discussed) there could no longer be a one-to-one correspondence between propositions and sentences. Which would mean that sentences wouldn't do a very good job of expressing propositions -- which is, after all, what they're there for. For there to be uncountably many propositions, and yet only countably many sentences, a single sentence would need to correspond to more than one proposition. But then your interlocutor would have no way of judging which of these various propositions you were actually intending to communicate.

If I remember correctly, and I may well not, David Lewis explicitly argues that there are uncountably many propositions in Plurality of Worlds and uses this as an argument against any view that would try to reduce propositions to sentences. At the very least, he does consider this issue. So here's an argument that I think I remember from that book that we can consider, anyway. It is based upon the claim that, for any real number x, there ought to be a proposition---a possible content of thought---that I am shorter than x inches tall. Indeed, each such proposition could be expressed by a sentence. All we have to do is give the real number x a name, say, "Fred", and then the proposition will be expressed by the sentence "I am shorter than Fred inches tall". But if so, then there are at least as many propositions as there are reals.

The key to this argument, note, is the observation that the claim "For every proposition p, there could be a sentence S that expressed it" is much weaker than "For every proposition p, there is a sentence S that expresses it". It's the latter that the reductionist needs. But the argument needs only: If there could be a sentence S that meant that p, then there is a proposition that p---assuming that other, uncontroversial conditions required for the proposition to exist are met. E.g., there might have been propositions other than the ones there are, because there might have been people other than the ones there are, and then there would have been propositions about them that there in fact aren't. But that's not what's happening in this case.

That there should be uncountably many propositions for this kind of reason does not, so far as I can see, imply anything bad about the possibility of communicating. Each actual (meaningful) sentence corresponds to---that is, expresses---just one proposition (modulo worries about context). But there are lots of propositions that are not, in fact, expressed by any sentence.

My own preference, for what it is worth, is to refuse to talk of propositions, period. But that's a different matter. If we are going to talk of propositions, then it actually seems quite hard, for the reasons just given, to keep them countable.

Well, there is a logical truth in the vicinity of 1 + 1 = 2. Or perhaps better, a whole family of logical truths. Fix on a pair of properties F and G. Then it is a theorem of first-order logic that if exactly one thing is F and one thing is G and nothing is both F and G, then are exactly two things are either-F-or-G. Here the numerical quantifiers 'exactly one thing is' and 'exactly two things are' can be defined in standard ways from the ordinary first-order quantifiers and identity. And the theorem holds whatever pair of properties we choose. This elementary logical result probably captures what is driving your intuition that in some sense 1 + 1 = 2 is "reducible to formal logic". (For a bit more on this sort of thing, see my Intro to Formal Logic §33.3 -- or any other standard logic text!)

But all that is quite compatible with Gödel's first incompleteness theorem. For Gödel's theorem isn't about some limitation or incompleteness in our ability to prove (or disprove) simple equations relating particular numbers like 1 + 1 =2. Rather it is, roughly speaking, about the incompleteness of any theory rich enough to prove quantified claims about numbers. For any given rich enough axiomatized theory, there will some quantified truth about numbers it can't prove. So that means we can't wrap up all the truths of arithmetic (including all the quantified ones) into a single axiomatized theory . Hence, a fortiori we can't wrap them up into a single axiomatized theory that might be thought of as part of logic. (For a bit more on this sort of thing, see my Intro to Gödel's Theorems -- or any other standard text which covers incompleteness results!)

Well, mathematicians all the time talk about infinitary structures. To start with the very simplest examples, they talk about the set of all natural numbers, {0, 1, 2, 3, ...}: and they also talk about the set of all subsets of the natural numbers. And they introduce "infinite cardinal numbers" which indicate the size of such infinite sets. There's a beautiful theorem by Cantor which shows that, on a very natural understanding of "number of members", the set of all numbers has a smaller number of members than the set of all subsets of the set of all numbers. So there are different infinite cardinal numbers, which we can order in size. Indeed, again on natural assumptions, there's an infinity of them.

Is that little reminder about what mathematicians get up to enough to settle the question whether "infinity exists"? Well, perhaps not. There remain a number of questions here. Here's one (so to speak) about the pure mathematics, and one about applied mathematics.

First, then, we might say "Sure, mathematicians talk about infinite sets, and infinite numbers: but then Conan Doyle talked about Sherlock Holmes. But Holmes doesn't really exist: he's just in a story. And maybe the mathematicians are just telling a story, and there aren't really infinite sets and infinite numbers." But to get to grips with that suggestion, we'd have to tackle the whole question of whether "fictionalism" about mathematics is a viable position -- and that's far too much to take on here!

Second, even if we do allow the existence of infinite structures as entities populating the mathematician's abstract realm (denizens of "Plato's heaven"), we might still wonder whether such structures are exemplified in the physical world. We do use heavily infinitary mathematics in our best going physical theories (they presume, e.g., that space is infinitely divisible); but is that really essential? Could it be that, e.g., the world is ultimately grainy at the small scale, and is finite too at the big scale, and there are no physically existing infinite structures? Again, that's far too big a question to take on now.

So all I've been able to do here is make some preliminary clarifications, and suggest two different ways of sharpening up the original question into something we might get our teeth into. But then a lot of philosophy is like that!