要麼數學對人類心靈來說過於龐大，要麼人類心靈遠多於一部機器。 Topoi: The Categorial Analysis of Logic, Goldblatt, Robert , (2006) , Ch1, p.13
