公理化不是"发现真理"，而是"建构共识"

公理系统不是"宇宙真理的写照"，而是"人类约定的起点"——公理的选择包含美学、实用、历史等非逻辑因素。希尔伯特证明：公理只是"形式游戏的规则"，与"真实"无关。这颠覆了"数学揭示真理"的朴素信念。