If any of you haven't tried already, I would recommend that you take a foray into the logical proof that 1+1=2 (alternatively, that 0+1=1), since it's one of the bigger mind-blowers I've been fortunate enough to come across. Mathematics is, after all, based on many axioms, and things get interesting when attempts at dissecting seemingly self-evident truths occur.
It would honestly be silly of me to assume that career mathematicians haven't heard of the Principia Mathematica, but anyone reading this thread who isn't that deep into the subject should seriously consider taking a look at it or any of its countless summaries online, even for the sake of novelty. It basically tears logic into strings with passages such as "if it is the truth, then it is true; if it is a falsehood, then it is false." It explores the nature of what addition is and everything.
"From this proposition it will follow, when arithmetical addition has been defined, that 1+1=2"
I suppose that this is more a matter of logic than mathematics, but the two are so heavily intertwined that the subtle distinctions aren't worth fussing over on a KYM thread, IMO. Oh, but who could forget about this cool xkcd edit?
Back on topic; the proof that 1+1=2 took three hundred pages and involved almost every single logical postulate in existence. So even then, it's not truly proven – the truth of an axiom proved by utilizing purer axioms.
Simplified versions of the proof, such as this one, exist online and are really helpful. I sat down with a pen and some paper a few months ago and worked my mind through it because I was honestly losing sleep thinking about it at that point.
I'm really feeling like I'm in my element right now. Hah, get it? Oh wait… this is a mathematics general, not a chemistry general. I'll see myself out.