That the main concepts of deductive logic (“e.g., provability, derivability from given premises, logical independence, etc”.) are purely syntactical was argued primarily by showing how they could be defined in two exemplary languages without reference to the meanings of any terms. Language I is a form of primitive recursive arithmetic, and was intended to exemplify a constructivist kind of language, while Language II contains classical mathematics. (In modern terminology, both of these “language