Mathematics, Logic, and their Philosophies