早期的第一性原理思考者们正式化了一个其他人尚未认识到的问题,并构建了参考实现