## Mathematical logic with transfinite types |

### From inside the book

Try this search over all volumes: **expres**

Results 1-0 of 0

### What people are saying - Write a review

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

### Contents

INTRODUCTION | 1 |

does not depend for its level on the free elements of the abstract | 3 |

a The Generalized System of Types Described | 7 |

Copyright | |

29 other sections not shown

### Common terms and phrases

a-abor a-ad abor Abst abstraction operator agg-closed arguments arithmetical sequences arithmetized syntax axiom of infinity axiom of reduci axiom of reducibility bound variables branched theory Burali-Forti Paradox c-th Cantor's Paradox Cantor's theorem cardinal numbers chain Conformal Variation Contrad corresponds defined Definitions demonstrable df A Sn directly derivable Dm G elem elem-sgn elem-var elements example expres formal formative rules free occurrences inductive cardinals lng'i lng'j lng'm mathe mathematical logic means NC induct null number pair number system occur omitted operand operator sign operator variable parentheses primitive sentence Principia Mathematica quasi-element quotes relation Russell paradox second kind sentential sign-const sn-var Strat stratified subscripts Subst Symbolic Logic syntactical system system of types systematic ambiguity terms of arithmetical theorems theory of types tokens type theory universal class universal predicate varQ whence zero kind