Title: Mathematics, Logic, and Their Philosophies