Mathematical Logic, Willard Van Orman Quine