Home›Logic and Foundations›BranchBrowse ByBranchBranch links a theorem to the field of mathematics it belongs to. Wikipedia opens its account of Fermat's Last Theorem with "in number theory, Fermat's Last Theorem... states that there are no positive integers a, b, c, n with n greater than 2" satisfying the equation, naming its branch in the very first words. This dimension groups theorems that belong to the same branch of mathematics.FactsBranchSourcesComments (0)Reader Challenges (0)FactsComparisonEra Of EmergenceWell-attested1850 1BranchFilter Results8 entriesTopic AreaAllCategory Theory (1)Computability and Complexity Theory (3)Mathematical Logic and Model Theory (5)Order Theory and Fixed Points in Posets (1)Proof Theory and Methods of Proof (2)Set Theory (2)ProvedAll1847 (1)1884 (1)1891 (1)1897 (1)1904 (2)1915 (1)1924 (1)1927 (1)1929 (1)1930 (1)1931 (2)1933 (1)1934 (1)1935 (2)1936 (3)1937 (1)1938 (1)1943 (1)1944 (1)1950 (2)1951 (1)1953 (1)1955 (2)1956 (1)1957 (2)1959 (1)1961 (2)1963 (1)1965 (1)1967 (2)1968 (1)1969 (2)1970 (2)1971 (1)1975 (3)1977 (1)1983 (1)1986 (1)1987 (1)1991 (1)1997 (1)1998 (1)Proved ByAllAbraham Seidenberg (1)Alan Turing (2)Albert Muchnik (1)Alfred Tarski (3)Alonzo Church (1)Augustus De Morgan (1)David Hilbert (1)Donald A. Martin (1)Dov Gabbay (1)Dénes Kőnig (2)Emil Post (1)Ernst Witt (1)Ernst Zermelo (1)Evert Willem Beth (1)Georg Cantor (1)Gerhard Gentzen (1)Gottlob Frege (1)Jacques Herbrand (1)Jon Barwise (1)Joseph R. Shoenfield (1)Kazimierz Kuratowski (1)Kurt Gödel (2)Leonid Levin (1)Leopold Löwenheim (1)Max Zorn (1)Per Lindström (1)Reuben Goodstein (1)Robert Lawson Vaught (1)Robert M. Solovay (1)Roger Lyndon (1)Stefan Banach (1)Stephen Cole Kleene (1)Stephen Cook (2)Wilhelm Ackermann (1)William Lawvere (1)Named AfterAllAlan Turing (1)Ernst Zermelo (1)Georg Cantor (1)Kurt Gödel (2)Statement FormAllCharacterization (6)Equation (4)Existence Theorem (8)Identity (4)Impossibility Theorem (6)Inequality (4)Uniqueness Theorem (3)Proved By (Other Fields)AllBoris Trakhtenbrot (2)Juris Hartmanis (1)Leslie Valiant (1)Manuel Blum (1)Neil Immerman (1)Richard E. Ladner (1)Richard E. Stearns (1)Róbert Szelepcsényi (1)Seinosuke Toda (1)Vijay Vazirani (1)Walter Savitch (1)Origin YearAll1874 (1)1954 (1)1965 (1)Show ResultsBrowseCompareCategory TheoryBranch2 entriesComputability TheoryBranch9 entriesComputational Complexity TheoryBranch10 entriesLogic and FoundationsBranch43 entriesModel TheoryBranch6 entriesOrder TheoryBranch2 entriesProof TheoryBranch3 entriesSet TheoryBranch10 entriesSources1. Mathematical Logic (Wikipedia)tier 2Wikimedia FoundationHistory sectionQuote, History sectionMathematical logic emerged in the mid-19th century as a subfield of mathematics, reflecting the confluence of two traditions: formal philosophical logic and mathematics.View the SourceComments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.Reader Challenges (0)No disputes yet. Spotted an error or a better source? Open the first one.Sign in to dispute this or suggest a correction.