Sufficient Conditions for the Modelling of Axiomatic Set Theory |
Common terms and phrases
assume axiom of choice axiom of infinity axiomatic set theory axions bound variables classes of ordinals classical ordinal theory confusion of bound consistent relative continuum hypothesis contradiction Cornell University correspondent in L₂ define a function defined in Lg definition by induction definition of F easily proved finite number following theorem formula free variables GʻU(a Gödel Hence intuitive L-image L₁ L1 in Lg LE(S Lemma Let a=Nr(P lower functional calculus model of L1 notation noun obtained occur free ordered pairs pairs of ordinals Proof by induction proposition of L1 propositional calculus proved similarly rCan² rCan²(P remain provable segy simple theory smor seg syntactical variables theorem follows theorem is obvious theorems which follow theory of types triadic relation type theory Val(J variable of type well-ordering theorem لا