現在對於數學的見解流行的已有三派:(一)邏輯主義(logistic)。這派見解的主題是:純粹數學是邏輯的一支,以羅素與懷悌海為代表。(二)形式主義(formalism)。這派見解的主題是:純粹數學是記號的形式結構之科學,以希伯特(D. D. Hilbert)為代表。(三)直覺主義(intuitionism)。這派見解的主題是:純粹數學是靠著構造一無限的數目系列之可能底根本直覺而成,以荷蘭的布露渥(L. E. J. Brouwer)為代表。這三派中前兩派各有系統之著作,各有特殊之邏輯,惟第三派尚未具形,只是對于數學有些玄妙的見解,故欲為國人一介紹。本文是譯自布賴克(M. Black)《數學之性質》講直覺主義一篇。此書純講這三派的見解,而以邏輯派為最詳,其他兩派不過是補篇而已。 譯者