公理不是发现而是选择——但选择可以有好有坏

欧几里得几何曾被认为是唯一可能的空间描述，但非欧几何证明：改变平行公设，可以得到同样自洽的系统。这意味着公理不是「发现的真理」，而是「选择的起点」。但「可选择」不等于「任意选」——选择的标准是能否产生丰富、有用、与经验一致的理论体系。