 a numerical identity “\(\mathbf{t} = \mathbf{s}\)” is an arithmetical theorem if and only if the corresponding equation “\(\Omega^t \spq x = \Omega^s \spq x\)”, which is framed in the language of the general theory of logical operations, can be proven. 