It thus can be assumed that to a theory of higher dimension, there corresponds a class of basic statements of higher dimension, such that all statements of this class are permitted by the theory, irrespective of what they assert.