Skip to main content
It looks like you're using Internet Explorer 11 or older. This website works best with modern browsers such as the latest versions of Chrome, Firefox, Safari, and Edge. If you continue with this browser, you may see unexpected results.

Elements of Set Theory and Mathematical logic: Home

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects

What is Libguide

Subject guide are compiled by your librarian to help you find the most useful resources for your subject. LibGuides are sets of web pages for research assistance, subject guide, and useful resources compiled by us, your friendly librarian. You may find LibGuide for specific courses or assignments.  

Set Theory

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics. The language of set theory can be used in the definitions of nearly all mathematical objects. The modern study of set theory was initiated by Georg Cantor and Richard Dedekind in the 1870s. After the discovery of paradoxes in naive set theory, such as Russell's paradox, numerous axiom systems were proposed in the early twentieth century, of which the Zermelo–Fraenkel axioms, with or without the axiom of choice, are the best-known.

Mathematical logic

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is often divided into the fields of set theorymodel theoryrecursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability

Set Theory

Mathematical logic

Image result for Mathematical logic

Information Executive