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.
Matemaatikas on tavaks valida antud keeles kindlad eeldused ning kinnitada, et teoreem koosneb kõigist nendest eeldustest saadavatest väidetest.