话题：厘清「发现、定义、发明」的词义差异

第二部分：产生分歧的根源：部分科学哲学文献里会使用“概念发明、数学发明”这类表述。这并不只是哲学圈内的怪习惯，而是问题域和本体论立场不同：形式主义或约定论会把公理框架视为发明，数学实在论则会把数学关系视为发现。他们所说的“概念发明”，多半指搭建人为概念、符号描述体系，或创造新范畴、新模型。放到强调描述已存在秩序的数理科学语境里，这更适合叫定义与搭建表述框架；但若强调公理系统本身的人为选择，叫发明也并非绝对错误。

一句话小结：若采取实在论立场，自然秩序、数学逻辑本身是发现；人类用来描述它们的名词、符号、整套概念框架，属于定义、建构与人为整理；只有创造世上原本不存在的实体或功能结构，才是发明。在科学传播中，把“概念发明”改说成“概念建构/定义框架”通常更少歧义；但在形式主义或约定论下，把公理框架称为发明也有其道理