Learning Abstract Math from First Principles? — LessWrong