## Introduction to mathematical logic |

### What people are saying - Write a review

#### Review: Introduction to Mathematical Logic

User Review - Kristina - GoodreadsI list this book as "currently reading" even though I've read it before because this is a book that, for better or for worse, you never stop reading. Read full review

#### Review: Introduction to Mathematical Logic

User Review - Kristina - GoodreadsI list this book as "currently reading" even though I've read it before because this is a book that, for better or for worse, you never stop reading. Read full review

### Contents

Introduction | 1 |

CHAPTER | 10 |

ADEQUATE SETS OF CONNECTIVES | 22 |

Copyright | |

32 other sections not shown

### Common terms and phrases

algebra alphabet applicable arithmetic Assume Axiom of Choice Axiom of Regularity axiom schema axiomatic called cardinal numbers Church's Thesis closed wf consistent contains contradicting Corollary corresponding Deduction Theorem defined definition denote denumerable domain element equinumerous example Exercise expressible F F F false finite number first-order theory following wfs free variables function letters Godel number Hence holds individual constants inductive hypothesis infinite interpretation Lemma logically equivalent logically valid Math natural numbers nonempty normal algorithm normal model number-theoretic obtained occurrences ordinal partial recursive function positive integers predicate calculus predicate letter prenex normal form primitive recursive primitive recursive function Proof Let proper axioms Proposition provable quadruples real numbers recursive or recursive recursively undecidable replace Rule A4 sentence set theory Show statement form statement letters subset symbols tape description tautology theory with equality transfinite induction true truth table truth values Turing machine Turing-computable well-ordering word