From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9068 Path: news.gmane.org!.POSTED!not-for-mail From: John Baez Newsgroups: gmane.science.mathematics.categories Subject: Re: Theorem or Paradox Date: Sun, 8 Jan 2017 10:18:58 -0800 Message-ID: References: Reply-To: John Baez NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: blaine.gmane.org 1483921543 6679 195.159.176.226 (9 Jan 2017 00:25:43 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 9 Jan 2017 00:25:43 +0000 (UTC) To: categories Original-X-From: majordomo@mlist.mta.ca Mon Jan 09 01:25:39 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cQNmK-00010S-Ca for gsmc-categories@m.gmane.org; Mon, 09 Jan 2017 01:25:36 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:49208) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1cQNlw-0000eJ-BI; Sun, 08 Jan 2017 20:25:12 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1cQNlZ-0001RW-83 for categories-list@mlist.mta.ca; Sun, 08 Jan 2017 20:24:49 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9068 Archived-At: Patrik Eklund wrote: > Since the Incompleteness Theorem uses the Liar Paradox, why is it called > the Incompleteness Theorem and not the Incompleteness Paradox? Because it's a theorem, not a paradox. Indeed it's one of the basic results that sets the stage for modern developments in classical logic and set theory. Best, jb [For admin and other information see: http://www.mta.ca/~cat-dist/ ]