 Zermelo is of course referring to the "Russell antinomy".He says he wants to show how the original theory of Georg Cantor and Richard Dedekind can be reduced to a few definitions and seven principles or axioms.He says he has "not" been able to prove that the axioms are consistent.