x
Gödel Refute — LessWrong