[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