Definition by Induction in Quine's New Foundations for Mathematical Logic