Ang usa ka teorema usa ka pulong nga gigikanan sa Greek nga a sugyot nga nagpasabot usa ka kamatuoran alang sa usa ka natad sa syensya, nga adunay pagkapiho nga mahimong ipakita pinaagi sa paggamit sa uban pang gipakita nga mga sugyot, nga gitawag og mga axioms. Kasagaran gisuportahan sa mga teyoriya ang mga syensya nga gitawag nga ‘eksakto’, labi na ang 'pormal' (matematika, lohika), nga ang mga naggamit sulundon nga mga elemento aron makakuha og kinatibuk-ang konklusyon.
Ang panghunahuna sa luyo sa konsepto sa usa ka teyorya mao kana, basta kini natukod sa tinuud nga mga panukiduki nga gipahayag nga lohikal ug husto, kung unsa ang gipahayag sa teyoriya usa ka katinuud nga hingpit nga pagka-husto. Kini ang tukma kung unsa ang nagtugot kanila nga magsilbi nga suporta alang sa pag-uswag sa bisan unsang teyoriyang siyentipiko, nga dili kinahanglan nga pamatud-an kini pag-usab.
Ang sentral nga kalidad sa mga teyorya ang ilang kinaiyahan sa lohikal. Sa kinatibuk-an, ug usab sa pagtandi sa uban pang lahi nga kinaadman sa syensya (sama sa gihimo pinaagi sa pag-inferensya o obserbasyon), ang gigikanan niini gikan sa paghimo sa usa ka lohikal nga pamaagi nga dali nga maorder. Niini nga pagsabut, ang mga teyoriya nagsugod gikan sa a sukaranan nga pangagpas, nga kung unsa ang gusto nimo ipakita; usa ka thesis, nga mao gyud ang pasundayag, ug usa ka corollary, nga mao ang konklusyon naabut na sa higayon nga ang demonstrasyon nakumpleto.
Sama sa giingon, ang punoan nga ideya sa mga teyoriya mao ang pangutana sa kanunay nga mahimo ug ang posibilidad nga ma-counter count ug madawat pag-usab sa tanan nga mga panahon. Bisan pa, kung adunay usa ka kahimtang nga mitumaw diin ang teyema nawala ang unibersalidad, ang teyema dayon nahimong dili balido.
Ang konsepto sa teyoriya gikuha pinaagi sa uban pang mga syensya (ekonomiya, sikolohiya o syensya sa politika, ug uban pa) aron pagtudlo sa piho nga hinungdanon o sukaranan nga mga konsepto nga nagdumala sa mga natad, bisan kung kini dili motumaw pinaagi sa gipatin-aw nga pamaagi. Sa kini nga mga kaso, ang mga axiom wala gigamit labi pa ang mga hinuha nga gihimo sa mga pamaagi sama sa obserbasyon o bisan sa statistic sampling.
Ang mosunud nga lista nagtigum mga pananglitan sa mga teyoriya ug usa ka mubu nga paghulagway sa kung unsa ang gibutang niini:
- Teorema sa Pythagoras: relasyon tali sa sukod sa hypotenuse ug sa mga bitiis, sa kaso sa mga husto nga triangles.
- Teorema sa punoan nga numero: Samtang nagkadako ang linya sa numero, magkadiyutay ug dyutay ang mga numero gikan sa kana nga grupo.
- Teorama sa binomial: pormula alang sa pagsulbad sa mga gahum sa binomial (mga pagdugang o pagminus sa mga elemento).
- Frobenius theorem: pagsulbad sa pormula alang sa mga sistema sa mga linear equation.
- Thales theorem: mga kinaiyahan sa mga termino sa mga anggulo ug kilid sa parehas nga mga triangulo, ug uban pang mga kabtangan niini.
- Teorya ni Euler: ang gidaghanon sa mga vertex plus ang numero sa mga nawong parehas sa ihap sa mga sulud plus 2.
- Teorema ni Ptolemy: Ang katibuk-an sa mga produkto sa mga diagonal parehas sa kantidad sa mga produkto nga mga kaatbang nga kilid.
- Teorema sa Cauchy-Hadamard: Ang pagtukod sa radius sa pagtagbo sa usa ka serye sa mga gahum nga gibanabana nga usa ka paglihok sa palibot sa usa ka punto.
- Teorema ni Rolle: Sa usa ka sal-ang nga ang mga gisusi sa labing kadaghan sa usa ka managlahi nga kalihokan managsama, adunay kanunay nga usa ka punto diin mawala ang gigikanan.
- Kahulugan sa teorema sa kantidad: Kung ang usa ka pag-andar nagpadayon ug lainlain sa usa ka sal-ang, adunay usa ka punto sa kana nga agianan diin ang tangtong mahimong parehas sa secant.
- Teorema ni Cauchy Dini: Mga kondisyon alang sa pagkalkula sa mga derivatives sa kaso sa mga implicit function.
- Calculus theorem: Ang gigikanan ug paghiusa sa us aka gimbuhaton mao ang balitok nga operasyon.
- Teorya sa Aritmetika: Ang matag positibo nga integer mahimong girepresentar ingon usa ka produkto sa nag-una nga mga hinungdan.
- Bayes theorem (estadistika): Pamaagi aron makakuha mga kondisyonal nga kalagmitan.
- Teorema sa Cobweb (ekonomiya): Teorema aron ipasabut ang pagporma sa mga produkto nga gihimo pinahiuyon sa miaging presyo.
- Teorama ni Marshall Lerner (ekonomiya): Pagsusi sa epekto sa us aka pagkubus sa salapi sa mga termino sa kadaghan ug presyo.
- Teorema sa Coase (ekonomiya): Kasulbaran alang sa mga kaso sa panggawas nga paggawas, nga nagpaingon sa pag-undang sa deregulasyon.
- Median nga teorya sa botante (siyensiya sa politika): Ang kadaghanan nga sistema sa piliay labi nga mopabor sa median nga boto.
- Teorema ni Baglini (siyensiya sa politika, Argentina): Ang politiko adunay kalagmitan nga dad-on ang iyang mga sugyot padulong sa sentro kung moduol siya sa mga posisyon sa gahum.
- Teorya ni Thomas (sosyolohiya): Kung gipasabut sa mga tawo ang mga sitwasyon nga tinuud, nahimo sila nga tinuod sa ilang mga sangputanan.
