Theorem bụ okwu sitere n'asụsụ Grik nke a atụmatụ nke na -egosi eziokwu maka mpaghara sayensị ụfọdụ, nke nwere ihe ngosi pụrụ iche site n'iji atụmatụ ndị ọzọ egosiri na mbụ, akpọrọ axioms. Karịsịa theorems na -akwado sayensị akpọrọ 'kpọmkwem’, ọkachasị 'usoro' (mgbakọ na mwepụ, mgbagha), nke bụ ndị na -eji ihe dị mma na -eme nkwubi okwu n'ozuzu.
Echiche dị n'azụ echiche nke tiori bụ na, ọ bụrụhaala na ihe ndị a dabere na ezi amụma akọwapụtara n'ụzọ ezi uche na n'ụzọ ziri ezi, ihe tiori na -egosipụta bụ eziokwu nke ezigbo nkwado.. Nke a bụ kpọmkwem ihe na -enye ha ohere ije ozi dị ka nkwado maka mmepe nke echiche sayensị ọ bụla, na -enweghị mkpa igosipụta ya ọzọ.
Isi ihe dị mkpa nke usoro okwu bụ agwa ha ezi uche. Na mkpokọta, na ọzọ ma e jiri ya tụnyere ụdị ihe ọmụma sayensị ndị ọzọ (dị ka nke a na -emepụta site na ntinye ma ọ bụ nlebara anya), mmalite ya sitere na arụmọrụ nke usoro ezi uche dị na ya nke a ga -enye iwu ngwa ngwa. N'echiche a, theorems na -amalite site na a echiche bụ isi, nke bụ ihe ị chọrọ igosipụta; tesis, nke bụ kpọmkwem ya ngosi, na nchịkọta, nke bụ mmechi a na -enweta ya ozugbo emechara ngosipụta a.
Dị ka ekwuru, isi echiche nke tiori bụ ajụjụ nke ga -ekwe omume oge niile yana enwere ike ịbubata ma nabata ya ọzọ oge niile. Agbanyeghị, ọ bụrụ na otu ọnọdụ ebilite nke theorem tụfuru ụwa niile, theorem ga -adịzi ka ọ ghara ịdị irè.
Ewerela echiche nke tiori sayensị ndị ọzọ (akụnụba, akparamaagwa ma ọ bụ sayensị ndọrọ ndọrọ ọchịchị, n'etiti ndị ọzọ) ịkọwapụta ụfọdụ echiche dị mkpa ma ọ bụ ntọala na -achịkwa mpaghara ndị ahụ, ọbụlagodi mgbe ndị a esiteghị na usoro akọwapụtara. N'ọnọdụ ndị a, a naghị eji axioms kama ọ bụ ntụnyere nke usoro dị ka nleba anya ma ọ bụ ọbụna nlele ndekọ ọnụ ọgụgụ mere.
Ndepụta na -esonụ na -achịkọta ihe atụ nke usoro okwu na nkọwa dị nkenke nke ihe ọ na -ezipụ:
- Pythagoras usoro: mmekọrịta dị n'etiti nha nke hypotenuse na nke ụkwụ, n'ihe banyere triangles ziri ezi.
- Ụkpụrụ nọmba nke mbụ.
- Ụkpụrụ ọnụọgụ abụọ: usoro maka idozi ike nke binomials (mgbakwunye ma ọ bụ mwepụ nke ihe).
- Ụkpụrụ Frobenius: usoro mmezi maka sistemụ nha nha.
- Ụkpụrụ Thales: njirimara na akụkụ na akụkụ nke triangles yiri ya, yana ihe ndị ọzọ dị na ha.
- Ụkpụrụ Euler: ọnụ ọgụgụ nke oghere yana ọnụ ọgụgụ ihu bụ ọnụ ọgụgụ nke ọnụ gbakwunyere 2.
- Usoro mmụta Ptolemy: Nchikota ngwaahịa nke diagonal nwere nha nchikota ngwaahịa nke akụkụ dị iche.
- Usoro Cauchy-Hadamard.
- Theorem nke Rolle: N'ime oge nke oke ịtụle ya na ọrụ dị iche ga -aha nhata, a ga -enwe oge ebe ihe mgbapụta ahụ na -apụ n'anya.
- Ụkpụrụ bara uru pụtara: Ọ bụrụ na ọrụ na -aga n'ihu ma na -adịkwa iche na nkeji oge, a ga -enwe isi na nkeji oge ebe tangent ga -adabara na sekit.
- Usoro mmụta nke Cauchy Dini: Ọnọdụ maka ịgbakọ ihe mgbapụta n'ihe gbasara ọrụ adịghị.
- Usoro mgbakọ na mwepụ: Nwepụta na mwekota nke ọrụ bụ arụrụ aka.
- Ụkpụrụ arithmetic: Enwere ike ịnọchite anya ọnụọgụ ọ bụla dị mma dị ka ngwaahịa nke ihe ndị bụ isi.
- Bayes theorem (ọnụ ọgụgụ): Ụzọ iji nweta ihe gbasara nke puru omume.
- Cobweb theorem (akụnụba): Theorem iji kọwaa nguzobe ngwaahịa emere site na ọnụahịa gara aga.
- Theorem nke Marshall Lerner (akụnụba): Nyocha gbasara mmetụta mbelata ego n'ihe gbasara ọnụọgụ na ọnụ ahịa.
- Coase theorem (akụnụba): Ngwọta maka okwu nke mpụga, na -eche ka ewepu ya.
- Median theorem theorem (sayensị ndọrọ ndọrọ ọchịchị): Ọtụtụ usoro ntuli aka na -akwadokarị ntuli aka etiti.
- Usoro mmụta Baglini (sayensị ndọrọ ndọrọ ọchịchị, Argentina): Onye ndọrọndọrọ ọchịchị na -achọkarị iwepụta atụmatụ ya na etiti mgbe ọ rutere nso n'ọkwa ọchịchị.
- Ụkpụrụ Thomas (sociology): Ọ bụrụ na ndị mmadụ kọwaa ọnọdụ dị adị, ha na -adị adị na nsonaazụ ha.