Revelation and mathematics — LessWrong