このスレは普段数学はやらないけど
報道で興味をもった方も多いんですよね？
もしよければ
http://www.math.psu.edu/simpson/courses/math557/logic.pdf
をよんで基礎から数学を勉強しなよ