Philosophy of mathematics (Sainte Claire, 1969)