Philosophy of mathematics: The philosophical basis of intuitionistic logic