Re: [MD] MOQ and Gödel's incompleteness theorems

[Tuukka Virtaperko]

I still made a mistake. Gödel's (second) incompletess theorem actually 
states that a theorem (which satisfies certain other criteria) includes 
a statement of its own consistency if and only if it is inconsistent.

-Tuukka
Moq_Discuss mailing list
Listinfo, Unsubscribing etc.
http://lists.moqtalk.org/listinfo.cgi/moq_discuss-moqtalk.org
Archives:
http://lists.moqtalk.org/pipermail/moq_discuss-moqtalk.org/
http://moq.org/md/archives.html