The real difficulty lies in the fact that only a finite number of angels can dance on the head of a pin, whereas the mathematician is more apt to be interested in the infinite angel problem only.
Mechanized Mathematics, Bulletin of the American Mathematical Society, Volume 72, Number 5, September 1966 (p. 744)