A method in proofs of undefinability : WITH APPLICATIONS TO FUNCTIONS IN THE ARITHMETIC OF NATURAL NUMBERS - Bouvere, K. L. De (North-Holland Publishing Company, 1959)