Chirevo izwi rinobva muchiGiriki rinoti a chirevo chinoratidza chokwadi cheimwe ndima yesainzi, Iyo ine hunyanzvi hwekuratidzwa nekutarisa kune zvimwe zvakamboratidzirwa zvirevo, zvinonzi axioms. Kazhinji dzidziso idzi dzinotsigira sainzi inonzi 'chaizvo’, kunyanya izvo 'zvepamutemo' (masvomhu, pfungwa), zvinova izvo zvinoshandisa akakwana zvinhu kutora zvakajairika mhedziso.
Kufunga kuseri kwechirevo chechinyorwa ndechekuti, sekureba sekunge izvi zvakavakirwa pane zvirevo zvechokwadi zvakataurwa zvine musoro uye nenzira kwayo, zvinotaurwa nedzidziso yechokwadi ichokwadi chechokwadi. Izvi ndizvo chaizvo zvinovatendera kuti vashande sekutsigira kuvandudzwa kwechero dzidziso yesainzi, pasina chikonzero chekuzviratidza zvakare.
Iyo yepakati mhando yeatorems hunhu hwavo hwe zvine musoro. Muzhinji, uye zvakare tichienzanisa nemamwe marudzi eruzivo rwesainzi (senge iwo anogadzirwa kuburikidza nekufungisisa kana kucherechedza), mavambo ayo anobva mukuita kweanonzwisisika maitiro anogona kurairwa nyore. Mupfungwa iyi, zvirevo zvinotanga kubva pa yakakosha fungidziro, zvinova ndizvo zvaunoda kuratidza; chinyorwa, chiri chaizvo icho kuratidzira, uye corollary, inova iyo mhedziso izvo zvinosvika kana chiratidziro chapera.
Sezvakataurwa, iyo pfungwa huru yezvinyorwa ndeye mubvunzo wekugara uchikwanisika uye mukana wekusainirwa uye kugamuchirwa zvakare nguva dzose. Zvisinei, kana imwechete mamiriro ezvinhu akamuka mune iyo theorem inorasikirwa neyakaenzana, iyo theorem inova isingashande.
Pfungwa yetoreori yatotorwa na mamwe masainzi (economics, psychology kana wezvematongerwo enyika sainzi, pakati pevamwe) kuratidza mamwe akakosha kana hwaro pfungwa dzinotonga iwo masango, kunyangwe kana aya asingamuke nenzira yakatsanangurwa. Mune zviitiko izvi, axioms haishandiswe asi zvirevo zvinoitwa nemaitiro akadai sekucherechedza kana kunyangwe sampuro yekuverengera.
Iyi inotevera rondedzero inounganidza mienzaniso yezvinyorwa uye tsananguro pfupi yezvazvinomisikidza.
- Pythagoras theorem: hukama pakati pechiyero cheiyo hypotenuse neiya yemakumbo, mune nyaya yematatu matatu.
- Prime nhamba theorem: Sezvo nhamba yemutsetse inokura, pachave neanove mashoma uye mashoma manhamba kubva kuboka iro.
- Binomial theorem: fomula yekugadzirisa masimba ebinomials (kuwedzera kana kubvisa kwezvinhu).
- Frobenius dzidziso: kugadzirisa fomula yemasisitimu eanowaniswa equations.
- Thales theorem: hunhu maererano nemakona uye mativi emakona matatu akafanana, uye zvimwe zvivakwa zvacho.
- Euler chirevo: iyo nhamba ye vertices pamwe nenhamba yezviso zvakaenzana nhamba yemakona plus 2.
- Pfungwa yaPtolemy: Huwandu hwezvigadzirwa zvem diagonals zvakaenzana neuwandu hwezvigadzirwa zvemativi akatarisana.
- Cauchy-Hadamard chirevoKugadzwa kwenharaunda yekutendeuka kwematanho emasimba anofungidzira chiitiko chakakomberedza poindi.
- Dzidziso yaRolle: Pakati penguva iyo kuongororwa kwakanyanyisa mune rakasiyana basa kwakaenzana, pachagara paine poindi apo chinobva chanyangarika.
- Zvinoreva kukosha theorem: Kana basa richienderera mberi uye richipatsanurika pane imwe nguva, pachave nepo poapo pane iyo nguva iyo tangent ichave yakafanana neiyo secant.
- Cauchy Dini theorem: Mamiriro ekuverengerwa kwezvakatorwa mune zvinoitika mabasa.
- Calculus theorem: Iko kutora uye kusanganisa kweichi chiitiko kwakapesana mashandiro.
- Arithmetic dzidziso: Yese yakanaka nhamba inogona kumiririrwa sechigadzirwa chezvinhu zvakakosha.
- Bayes theorem (nhamba): Nzira yekuwana mamiriro ezvinhu ane mamiriro.
- Cobweb theorem (economics): Theorem yekutsanangura kuumbwa kwezvigadzirwa zvinoitwa zvichibva pamutengo wapfuura.
- Marshall Lerner theorem (economics): Kuongororwa kwemhedzisiro yekudzikisira kwemari maererano nehuwandu nemitengo.
- Coase theorem (economics): Solution yezviitiko zvekunze, zvichitarisa kudzikiswa.
- Median vhoti theorem (wezvematongerwo enyika sainzi): Ruzhinji sarudzo sarudzo inowanzo farira iyo yepakati vhoti.
- Baglini's theorem (wezvematongerwo enyika sainzi, Argentina): Iye wezvematongerwo enyika anowanzo kuunza zvirevo zvake kunzvimbo yepakati paanosvika munzvimbo dzemasimba.
- Thomas's theorem (zvemagariro evanhu): Kana vanhu vakatsanangura mamiriro ezvinhu seachokwadi, vanova echokwadi mumhedzisiro yavo.
