第25章形式优雅为评判命题价值之圭臬 - 数学纪闻录