数学工具主义者对稀释问题的认识论分析

希尔伯特工具主义者希望用理想数学替换实在数学,但这样的元数学替换策略会导致稀释问题,也就是理想证明量上的增加会引起实在证明中质上的减少。为了解决稀释问题,需要对有限主义进行深入的研究。这是有限证明的必要性。对哥德尔主义标准论证的反驳使得有限证明变得可能,这是有限证明的充分性。在反驳标准论证的过程中,也使得解决稀释问题变得可能。