Phenomenology, Logic, and the Philosophy of Mathematics