Mathematical logic-- need some suggestion I'm planning to start self-study of mathematical logic and axiomatic set theory. In fact I have already started and but facing a lot of problems to grasp the conception and formalism used there. After studying Hilbert's program and Godel 's Incompleteness theorem I was stunned and I thought I must learn formal math. I always had a fascination to know the foundation of math from 11th grade. Now being an engineering student I already have had subjects like advanced calculus, differential equation, complex variables and Fourier transform, probability and linear algebra. But they don't seem to help any more in mathematical logic. What I'm watching here is a bunch of alphabets, symbols and they are suffering me a lot. I can't understand them well. I've got the related books of mathematical logic by J. Donald Monk, Helmut Schwichtenberg, Michal Walicki, J. Adler, J. Schmid, total 4 books but they are tough. I never did any course on logic before and it seems to me that mathematical logic is really really a tough one. I have two inquiries, 1. what are the prerequisites of mathematical logic such that I can understand these peculiar alphabets and symbols and underlying meanings of them? 2.I didn't study topology yet. I intended to start topology after finishing mathematical logic. Is that a wise approach? I would really appreciate your help. Please also give me some advice about how to approach this type of hard subject. Thank you.