 When we refer to an instance of the matrix of \(A^H\), we mean a formula that is obtained by substituting terms in the expanded language in the matrix of \(A^H\). We can now state Hilbert and Bernays’s formulation of