摘 要：贝纳塞拉夫指出我们在说明数学真理上会面临一个两难困境：我们无法在认为数学真是关于独立于我们的抽象的数学事实的前提下，同时拥有一个关于如何认识到这些事实的合理说明。贝纳塞拉夫向传统的数学知识观点提出了挑战。通过采纳一种数学的结构主义，本文给出了一种认识论说明，表明我们可以拥有算术知识。该说明包含了两个部分：第一部分通过模式识别表明我们持有的结构概念和物理世界的因果联系，第二部分则试图表明我们如何可以先验地获得关于数的结构的知识。最后，本文论证这一说明至少是一个合理的说明我们能够拥有有限算术知识的解释。
关键词：贝纳塞拉夫问题  数学实在论  抽象对象