Psychologism views mathematical proofs as psychological or mental objects. Mathematician philosophers, such as Leibniz, Frege, and Carnap have variously criticized this view and attempted to develop a semantics for what they considered to be the language of thought, whereby standards of mathematical proof might be applied to empirical science.

Proofs as mental objects
Influence of mathematical proof methods outside mathematics
Statistical proof using data
অসঙ্গতি দ্বারা প্রমান