173.不想当哲学家的数学家不是好装逼犯