Learning the foundations of math — LessWrong