Abstract

In this paper the authors argue that if Tarski’s definition of truth for the calculus of classes is correct, then set theories which assert the existence of proper classes (classes which are not the member of anything) are incorrect.