“实在论与反实在论”问题是数学哲学讨论的核心问题之一，其中“约定论”属于典型的实在论观点。