Hi, I'm currently in Physics graduate school, so I don't know much about mathematical logic. I got through an undergraduate degree in physics + maths. But I'm not entirely satisfied with my math, ever since I did the course on set theory. I want that kind of rigor in all the mathematical proofs I do. I want to build up a structured system of mathematics beginning from basic axioms (yeah, I won't be finished even when I die, I know. But at least I want to start) I was thinking of starting with Reading Principia Mathematica by Russel - Whitehead. But I remember reading online sometime ago that it's outdated. Is it? I mean, will all my effort in reading it be wasted? Any other websites, forums(specialized), books that might help? Any help is appreciated.