As all know, by absoluteness theorems in Set Theory, most of theorems in number theory are $ZFC$-provable if and only if they are consistent with $ZFC$, it's because of absoluteness of essence of natural numbers. But on one hand we have Forcing Methods and Theory of Core Model to investigate about reals and the real line, and on the other hand for some statements in Number Theory we have, equivalent statements expressed by real or complex numbers, using Analytic Number Theory. Therefore, it seems it's possible to reconcile two hands!!

Now my question is: ###Is there any theorem in Number Theory that can be proved by tools of Set Theory, especially by methods of consistency results?

Any reference is appreciated.

As all know, by absoluteness theorems in Set Theory, most of theorems in number theory are $ZFC$-provable if and only if they are consistent with $ZFC$, it's because of absoluteness of essence of natural numbers. But on one hand we have Forcing Methods and Theory of Core Model to investigate about reals and the real line, and on the other hand for some statements in Number Theory we have, equivalent statements expressed by real or complex numbers, using Analytic Number Theory. Therefore, it seems it's possible to reconcile two hands!!

Now my question is:

Is there any theorem in Number Theory that can be proved by tools of Set Theory, especially by methods of consistency results?

Any reference is appreciated.