We present a method for demonstrating the consistency of von NeumanGodel set theory E (or Zermelo set theory E') relative to various other formal set theories. When a model for a logic L1 is constructed, there are two other logics involved: L2, the system which contains the model, and L3, the metalogic in which the argument that L2 contains a model for L1 is carried out. These three systems need not of course all be distinct. In [2] L1 is E strengthened by the axiom V = L, L2 is E, and L3 is unformalized. In the present paper L1 will be either E or E'. The basic idea for proving the relative consistency of L1 with respect to some other system L2 is to construct in L2 a model for L1 similar to the model constructed in [2]. Since L2 may be some kind of type theory, the function corresponding to Gddel's function F must be modified in a suitable manner. In verifying the relativized versions of axioms of L1 in L2, we shall have to overcome certain special problems depending on the system L2 and not met with in [2]. Except for the remarks at the end of Section 2, we shall not consider the question of formalizing L3, i.e. we use intuitive logic as our metalogic. In Section 1 we illustrate the method by demonstrating the consistency of E relative to the system ML" obtained by adding E of [4] as an axiom
['Steven Orey']
ON THE RELATIVE CONSISTENCY OF SET THEORY)