Moreover, it will continue to apply through a large range of variation of the un- derlying logic of R♯, while on a simple and straightforward translation, the classical first-order theory P♯ of Peano arithmetic  ...  The reader is unlikely to have missed the significance of the remarks just made. In plain English, this paper repeals Goedel's famous second theorem.  ...  Truth-functional connectives and quantifiers have their ordinary elementary properties, in the sense (e.g.) that double negation, De-Morgan laws, associativity, commutativity, and idempotence of ∧ and  ...