Mathematical Logic with Transfinite Types |
Contents
does not depend for its level on the free elements of the abstract | 3 |
there exists on one level a cardinal number system having at least | 9 |
III | 15 |
Copyright | |
5 other sections not shown
Common terms and phrases
a-abor a-ad abor Abst 1,a 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 Contrad converse domain corresponds Definitions demonstrable descr-const directly derivable Dm G elem elem-sgn elem-var elements example expression free occurrences inductive cardinals l-ad mathe mathematical logic means null number pair occur omitted operand operator sign operator variable Ɔ z(x parentheses primitive sentence Principia Mathematica quasi-element quotes relation Russell paradox Scʻp second kind sentential sgn 9 sign-const smor 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 variable is independent Whence zero kind