{"product_id":"godels-theorems-and-zermelos-axioms-9783031851056","title":"Gödels Theorems and Zermelos Axioms","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp class=\"MsoNormal\"\u003e0. A Framework for Metamathematics.- Part I Introduction to First-Order Logic.- 1 Syntax: The Grammar of Symbols.- 2 The Art of Proof.- 3 Semantics: Making Sense of the Symbols.- Part II Gödel’s Completeness Theorem.- 4 Maximally Consistent Extensions.- 5 The Completeness Theorem.- 6 Language Extensions by Definitions.- Part III Gödel’s Incompleteness Theorems.- 7 Countable Models of Peano Arithmetic.- 8 Arithmetic in Peano Arithmetic.- 9 Gödelisation of Peano Arithmetic.- 10 The First Incompleteness Theorem.- 11 The Second Incompleteness Theorem.- 12 Completeness of Presburger Arithmetic.- Part IV The Axiom System ZFC.- 13 The Axioms of Set Theory (ZFC).- 14 Models of Set Theory.- 15 Models and Ultraproducts.- 16 Models of Peano Arithmetic.- 17 Models of the Real Numbers.- Tautologies.- Solutions.- References.- Index.\u003c\/p\u003e","brand":"Birkhauser Verlag AG","offers":[{"title":"Default Title","offer_id":53195452744023,"sku":"9783031851056","price":52.24,"currency_code":"GBP","in_stock":false}],"url":"https:\/\/bookcurl.com\/products\/godels-theorems-and-zermelos-axioms-9783031851056","provider":"Book Curl","version":"1.0","type":"link"}