Philosophy of Mathematics, 7.5 credits