show/hide this revision's text 1 [made Community Wiki]

ML:Gödel incompleteness theorem