I am attonished by how little is known about logic by mathematicians. I am sorry, I dont want to insult anyone, it is just a realisation about the common "meta-knowledege" about what we are doing. (This is not the first question that I see here that should be solved in an undergraduate course in mathematical logic)