hunter's metalogic an introduction to the metatheory of standard first order logic is not a math popularization book you really need to be careful about your claims it is a book from another field specifically philosophy again you objection seems to be based on the idea that there is no difference between formal language and formal language logic i agree i also believe that theory and theory mathematical logic are the same and yet there are two articles these splits are the result of politics not academics now i realize that we shouldn't have splits because of politics you are going to have to talk to your mathematical brethren about not being so political i am sorry but that is the pragmatic reality if legitimate content is repeatedly removed then either it must stop or there must be a way to save the content from the politics