Øystein Linnebo, Philosophy of mathematics