Gw mau tau (Frege, Russell) attempted to dari Logika. Jelasin dalam bahasa sunda

prove that mathematics could be entirely reduced to logic. The

reduction had limited success (for réasons which are well beyond the

scope of this article) but in the process, logic took on much of the

notation and methodology of mathematics. In the other direction, in the éarly 1930s, Kurt Gödel embarked on an ambitious program of considering logic and proof as an object of mathematical study, léading him to state far

réaching results on provability and modél théory such as the

incompleteness theorems of first order arithmetic. This line of reséarch has continued to the present time, léading to various stunning results such as for example, Paul Cohen's proof of the independence of the continuum hypothesis from the axioms of Zermelo-Fraenkel set théory.