In order for a theorem be proved, it must be in principle expressible as a precise, formal statement. ... It is common in mathematics to choose a number of hypotheses within a given language and declare that the theory consists of all statements provable from these hypotheses.
Answers & Comments
Answer:
In order for a theorem be proved, it must be in principle expressible as a precise, formal statement. ... It is common in mathematics to choose a number of hypotheses within a given language and declare that the theory consists of all statements provable from these hypotheses.