## An outline of mathematical logic: fundamental results and notions explained with all details |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Introduction to the Problems of the Foundations of Mathematics | 1 |

Examples of Mathematical Domains | 5 |

Selected Kinds of Relations and Functions | 8 |

Copyright | |

32 other sections not shown

### Other editions - View all

An Outline of Mathematical Logic: Fundamental Results and Notions Explained ... Andrzej Grzegorczyk No preview available - 2011 |

### Common terms and phrases

antecedent applied arguments arithmetic of natural arithmetical hierarchy assumption axiom schema axiom system bounded called Comp computable functions computable relation computable set concept condition conjunction consequence consider consistent construction contains deduced denoted described disjunction elementary elements empty domain equiform Erec existential quantifier exists false finite number free variable function G function symbols Hence holds identity implication inductive definition infinite instance integers interpretation intuitive isomorphic less than relation logical theorem mathematical domain mathematical theories means metalogic names natural numbers negation normal form objects obtained occur one-to-one pairs predicate calculus predicate symbols prime number primitive recursive functions proved rational numbers real numbers recursively enumerable sets reference replaced rule of detachment schemata sentential calculus sentential connectives sentential formula set of numbers set of sentences set theory strongly representable strongly represents subsets superposition tautology term formula tion undecidable universal quantifier values well-formed formulae yields