Like all sufficiently strong mathematical theories, set theory is incomplete, as shown by [[Kurt Godel]]. However, set theory is the received axiomatization of mathematics today, with subjects like analysis, [[algebra]], topology, and [[geometry]] using set theory and its language for their own foundation. | Like all sufficiently strong mathematical theories, set theory is incomplete, as shown by [[Kurt Godel]]. However, set theory is the received axiomatization of mathematics today, with subjects like analysis, [[algebra]], topology, and [[geometry]] using set theory and its language for their own foundation. |