Keep in mind that it applies to any branch of mathematics that includes number theory. It has been sufficiently proven, and is certainly just as "robust" as it needs to be for it's domain.
Someone already linked the VERY appropriate exchangeoverflow question, but they did not highlight the important part that explains the question this topic is based on. Specifically: "If T is a list of axioms in our language which we can enumerate by an ideal computer, and all the axioms of T are...
This site uses cookies to help personalize content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.