Logic toán học theo Godel là gì?
According to Kurt Gödel, mathematical logic was a science prior to all others, which contains the ideas and principles underlying all sciences.“
['Năm nào tôi xuất bản On Formally Undecidable Propositions of Principia Mathematica and Related Systems?', 'Về các đề xuất chính thức Undecidable của Principia Mathematica và các hệ thống liên quan I của Kurt Gdel có ngày 17 tháng 11 năm 1930 và được xuất bản lần đầu vào năm 1931 trong tập Monatshefte fr Mathematik.', 'Kurt Godel ở tuổi nào và gia nhập với anh trai ở Vienna?', 'Năm 18 tuổi, Kurt Gdel cùng anh trai đến Vienna và vào Đại học Vienna.', 'Kurt Gdel hoàn thành luận án tiến sĩ vào năm nào?', 'Kurt Gdel được trao bằng tiến sĩ vào năm 1930.']
Theo Kurt Gdel, logic toán học là gì?