What people are saying - Write a review
We haven't found any reviews in the usual places.
Summary of Part III
Section A Definition and Logical Properties of Cardinal Numbers
100 Definition and elementary properties of cardinal numbers
84 other sections not shown
a e Cls a e NC a e NC induct a n C'P actual type arithmetical formal number arithmetical set associative law axiom of infinity Bern cardinal arithmetic cardinal numbers Cl'a class of classes Cls induct Cls refl Cls3 arithm connex convention converse domain D K Prop defined double correlator equation exp Q exponentiation finite number following propositions Hence higher type homogeneous cardinal hypothesis Indiv inductive cardinal inductive class Infin ax lemmas logical mathematical induction maxP'a minP'a Mult ax multiplicative axiom mutually exclusive NC refl Nc'a xc Nc'p notation Nr'P Nr'Q p e Cls Pern present number Prod Prod'P Prog proof Prop The following properties prove Rel2 excl relation-numbers seqP'a sm a exp sm sm smor Q smor smor trans Transp typically definite v e NC