I am an academic who is highly skeptical of the quality of the Wikipedia articles concerning mathematical logic, and of the credentials of those who contribute to those articles. If you should read this page, know that said articles may provide at best a rudimentary understanding of the concepts in question, and that (sadly) no authoritative understanding of those concepts can, in my opinion, be gleaned from the aforementioned articles.

So long as non-authoritative sources are allowed to edit such articles at will, Wikipedia cannot itself become an authoritative source of information about mathematical logic. And, currently, non-authoritative sources are allowed to edit said articles at will. Perhaps this was obvious to you.

I would be very pleased if something like Wikipedia were to become a credible source of information about the fascinating field of mathematical logic. Until then, the best freely-available online resource, that I know of, is the Stanford Online Encyclopedia of Philosophy, which may be augmented with the less-authoritative Wolfram Mathworld. But nothing will beat a course in mathematical logic at a reputable university.

Those interested in the academic credentials of Wikipedia may want to check out this story on Slashdot. To be sure, there are some who labor on Wikipedia in good faith, and I salute them.

Good-bye.