放眼望去，這個世界滿是不幸的人。他們想象自己能夠擁有財產…… 同時滋生一種對知識、權力、健康、榮耀和愉悅的不知饜足的欲望。

只有那些認識到自己一無所有、無法擁有任何東西、安全是不可企及的人，那些完全隱退、犧牲一切的人。那些不知道任何東西、不渴望任何東西也不想知道任何東西的人。那些放棄一切和看輕一切的人，才能得到一切：自由的世界向他開啟了。這是一個沒有痛苦的沉思的世界 —— 一個一無所有的世界。

In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality.

在數學哲學中，直覺主義認為數學應當通過純粹的人類心智上構造活動而獲得，而不是依靠發現聲稱客觀存在的基本原則。因此，邏輯和數學不應當被視為揭示和分析客觀實在的活動，而是實現構造複雜心智對象內在的一致的方法。直覺主義認為直覺先於任何邏輯、規則，或者原理。後者不過是一種檢驗直覺合理性的工具，本身不具備發現任何真理的價值。

直覺主義的先驅帕斯卡有名言：

“心有其理，非理之所能知。”
“推理是那些不明真理的人用以發現真理的遲鈍、愚笨的方法。”
“孱弱無能的理智啊，你該有自知之明。”

直覺主義認為人固有地能洞察世界的真相，這種“能”被固化到人的心智裡面，稱為直覺。就像中國古代的“天人”觀念一樣，不過需要反着理解：任何合於人的直覺，都合於天之大道。這是道法於人，而不是人法道。也像是“造物主”將它自己的“基因”傳遞給了人（或者其他的物種），該物種通過這些基因最終能構造出造物主的世界。

世界的真相被刻在人的心智之中。

而邏輯主義的觀念顯得更明了，它相信一切事物的基礎是邏輯推理和不言自明的少數公里；形式主義則強調符號和推導規則的萬能，一切事物都在它這套體系之中。形式主義強調不需要“智慧”的“意義”的介入，對過程和結果的解釋與過程和結果是獨立的，他們希望的自動完成和自我完備，並且沒有自我矛盾。相反，邏輯主義並不看中完備，它強調的是沒有任何矛盾或者悖論。

合於邏輯，或者說令人滿足的期望總是他們追求的目標，對冰冷而且簡單的邏輯問題非常適合，對複雜的問題或者非理性的問題無能為力；形式主義不太理會這點，他們執着於精緻的符號規則以及永無止境的完備，這對於良好定義的問題能夠最高效地解決，對其他的問題顯得非常笨拙和低效；直覺主義與他們相去很多，簡言之，比起“更正確”的邏輯和精確的形式，他們更看中內在感覺，他們走在對未知探索的前頭。