From Frege To Gödel