Psychologism views mathematical proofs as psychological or mental objects.  Mathematician philosophers, such as <MASK>, 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.
গাণিতিক প্রমাণ
থেলিস অ্যারিস্টটল Euclid Leibniz