In Godel's Incompleteness Theorem, his theorem is about a system of logic. Where can I find more about this study, especially the notation?
I mean logic about systems in general. I worded the above a bit wrong.
Try Gödel Without Tears freely downloadable at http://www.logicmatters.net/resources/pdfs/gwt/GWT.pdf
Or get out of the library a copy of my Introduction to Gödel's Theorems.