อนุทิน 17473

ในด้าน mathematics  มีความเกี่ยวข้องกันของ 3 ลักษณะนี้ค่อนข้างมาก ---logicism, intuitionism, and formalism

During the late 19th and early 20th centuries, mathematicians and philosophers of mathematics became preoccupied with the idea of securing a firm foundation of mathematics. That is, they wanted to show that mathematics, as ordinarily practiced, was reliable or trustworthy or certain. It was in connection with this project that logicism, intuitionism, and formalism were developed.

จากเอนไซโคลพีเดีย Britannica