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

[Tuukka Virtaperko]

I made a mistake:
> And if a system cannot prove it's own completeness, there are 
> statements in the system which cannot be proven true or false.
I should have written: "And if a system is incomplete". Sorry.

-Tuukka