Path: dp-news.maxwell.syr.edu!spool.maxwell.syr.edu!drn.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed00.sul.t-online.de!t-online.de!130.59.10.21.MISMATCH!kanaga.switch.ch!switch.ch!ltu.se!luth.se!not-for-mail
Sender: torkel@beta19.sm.ltu.se
Newsgroups: comp.databases.theory
Subject: Re: So what's null then if it's not nothing?
References: <1133894046.516473.27860@f14g2000cwb.googlegroups.com>    <MPG.1e01039fc05218a398972d@news.ntnu.no>    <1133987926.307730.65450@g14g2000cwa.googlegroups.com>    <MPG.1e025150a62362ce989732@news.ntnu.no>    <1134052742.347560.142840@o13g2000cwo.googlegroups.com>    <MPG.1e02758452d3556f989735@news.ntnu.no>    <1134060567.603337.103190@g49g2000cwa.googlegroups.com>    <1134093058.488464.310420@z14g2000cwz.googlegroups.com>    <1134101484.507023.143250@g43g2000cwa.googlegroups.com>    <1134134242.549107.89080@g43g2000cwa.googlegroups.com>    <1134141511.458603.73950@g44g2000cwa.googlegroups.com>    <1134225078.698427.226210@g43g2000cwa.googlegroups.com>    <1134234985.112008.177390@g47g2000cwa.googlegroups.com>    <1134244694.076598.114370@o13g2000cwo.googlegroups.com>    <1134249615.348640.135980@g44g2000cwa.googlegroups.com> <1134353738.616494.318540@o13g2000cwo.googlegroups.com>
From: Torkel Franzen <torkel@sm.luth.se>
Date: 12 Dec 2005 17:21:26 +0100
Message-ID: <vcb4q5e8ewp.fsf@beta19.sm.ltu.se>
X-Newsreader: Gnus v5.5/Emacs 20.3
Lines: 9
NNTP-Posting-Host: beta19.sm.ltu.se
X-Trace: 1134404486 news.luth.se 175 130.240.45.65
Xref: dp-news.maxwell.syr.edu comp.databases.theory:35079

"JOG" <jog@cs.nott.ac.uk> writes:

> So Godel's
> stated that any recursive axiomatic system cannot be consistent and
> complete.

  Not at all. There are lots of consistent and complete recursively
axiomatized systems. As usual, Godel's theorem is supremely
irrelevant.