数学真理困境由贝纳塞拉夫(P.Benacerraf)在《数学真理》中提出。(Benacerraf,pp.661—679)该困境表明关于数学的两种基本哲学思考必然相互冲突:一种思考强调数学解释需要一种齐一的语义学理论,另一种思考则认为数学解释需要一种合理的认识论;由于二者互不相容,选择其中一种必然以放弃另一种为代价,从而形成数学真理的困境。