M miskatonic.org Gödel's Incompleteness Theorem explained 111 points simonbrown 14 years ago 58 comments