On a paradox of Hubert and Bernays

Abstract

The paper is a discussion of a result of Hubert and Bernays in their Grundlagen der Mathematik. Their interpretation of the result is similar to the standard intepretation of Tarski's Theorem. This and other interpretations are discussed and shown to be inadequate. Instead, it is argued, the result refutes certain versions of Meinongianism. In addition, it poses new problems for classical logic that are solved by dialetheism.