Theorem ke lentsoe le hlahang ho Segerike leo a tlhahiso e supang 'nete bakeng sa lefapha le itseng la mahlale, e nang le boits'oaro bo ikhethang ba ho bonts'oa ka ho sebelisa litlhahiso tse ling tse bonts'itsoeng pejana, tse bitsoang li-axioms. Ka tloaelo theorems e tšehetsa mahlale a bitsoang 'hantle’, haholoholo 'semmuso' (mmetse, mohopolo), e leng tsona tse sebelisang likarolo tse ntle ho fihlela liqeto ka kakaretso.
Monahano oa mohopolo ke hore, Hafeela tsena li thehiloe holima litlhahiso tsa 'nete tse hlalositsoeng ka mokhoa o hlakileng le ka nepo, seo thuto-thuto e se hlalosang ke' nete ea bonnete bo nepahetseng. Sena ke sona se ba lumellang ho sebetsa e le ts'ehetso bakeng sa nts'etsopele ea thuto efe kapa efe ea mahlale, ntle le tlhoko ea ho e paka hape.
Boleng bo bohareng ba likhopolo-taba ke semelo sa bona sa utloahala. Ka kakaretso, hape hape ha e bapisoa le mefuta e meng ea tsebo ea mahlale (joalo ka e hlahisoang ka ho latela maikutlo kapa ho shebella), tšimoloho ea eona e tsoa ts'ebetsong ea ts'ebetso e utloahalang e ka laeloang habonolo. Ka kutloisiso ena, likhopolo-taba li qala ho tloha ho khopolo-taba ea motheo, e leng seo u batlang ho se bontša; khopolo-taba, e leng hantle pontsho, le corollary, e leng qetello seo se fihlelloa hang ha pontšo e phethetsoe.
Joalokaha ho boletsoe, mohopolo o ka sehloohong oa likhopolo-taba ke taba ea ho lula ho khoneha le monyetla oa ho saeneloa hape ho amoheloa hape ka linako tsohle. Leha ho le joalo, haeba ho hlaha boemo bo le bong moo thuto e lahleheloang ke bokahohle, theorem e fetoha e sa sebetseng hanghang.
Khopolo ea theorem e nkuoe ke mahlale a mang (economics, psychology kapa science science, hara tse ling) ho khetha likhopolo tse itseng tsa bohlokoa kapa tsa mantlha tse laolang likarolo tseo, leha li sa hlahe ka mokhoa o hlalositsoeng. Maemong ana, li-axioms ha li sebelisoe empa ho etsoa likhakanyo tse entsoeng ke lits'ebetso tse joalo ka ho shebella kapa esita le sampling ea lipalo.
Lethathamo le latelang le bokella mehlala ea likhopolo-taba le tlhaloso e khuts'oane ea seo e se bolelang:
- Khopolo-taba ea Pythagoras: kamano lipakeng tsa tekanyo ea hypotenuse le ea maoto, tabeng ea likhutlo tse tharo tse nepahetseng.
- Khopolo-taba ea sehlooho: Ha mohala oa linomoro o ntse o hola, ho tla ba le lipalo tse fokolang le tse fokolang sehlopheng seo.
- Khopolo-taba ea binomialmoralo oa ho rarolla matla a li-binomials (litlatsetso kapa ho tlosoa ha likarolo).
- Khopolo-taba ea Frobenius: ho rarolla foromo ea lits'ebetso tsa litekanyo tse lekanang.
- Thales theorem: litšobotsi ho latela maqhubu le mahlakore a likhutlo tse ts'oanang, le thepa e ngoe ea tsona.
- Khopolo-taba ea Euler: palo ea li-vertices hammoho le palo ea lifahleho li lekana le palo ea metse le 2.
- Khopolo-taba ea Ptolemy: Kakaretso ea lihlahisoa tsa diagonals e lekana le kakaretso ea lihlahisoa tsa mahlakore a fapaneng.
- Khopolo-taba ea Cauchy-HadamardHo thehwa ha radius ya ho kopana ha letoto la matla a batlang a lekana le mosebetsi ho potoloha ntlha.
- Khopolo-taba ea Rolle: Ka karohano eo dintlha tse lekantsweng tse fetelletseng tsa mosebetsi o fapaneng di lekanang, ho tla dula ho na le ntlha moo sehlahiswa se nyamelang.
- Khopolo ea boleng bo bolelang: Haeba mosebetsi o ntse o tswela pele mme o fapana ka nako e itseng, ho tla ba le ntlha karohanong eo moo tangent e tla tšoana le secant.
- Khopolo-taba ea Cauchy Dini: Maemo a lipalo tsa lihlahisoa ha ho etsoa mesebetsi e hlakileng.
- Khopolo ea Calculus: Ho fumana le ho kopanya mosebetsi ke ts'ebetso e fapaneng.
- Khopolo-taba ea Arithmetic: Ntho e ngoe le e ngoe e nepahetseng e ka hlahisoa e le sehlahisoa sa lintlha tsa bohlokoa.
- Bayes theorem (lipalo-palo): Mokhoa oa ho fumana menyetla ea maemo.
- Khopolo-taba ea cobweb (economics): Theorem ho hlalosa sebopeho sa lihlahisoa tse entsoeng ho ipapisitsoe le theko e fetileng.
- Khopolo-taba ea Marshall Lerner (economics): Tshekatsheko ya sekgahla sa ho theoha ha tjhelete ho ya ka bongata le ditheko.
- Coase theorem (moruo): Tharollo ea linyeoe tsa kantle, tse lebisang tlhokomelong ea melao.
- Khopolo-taba ea boipheliso ea likhetho (saense ea lipolotiki): Tsamaiso ea likhetho tse ngata e tloaetse ho khetha likhetho tse bohareng.
- Khopolo-taba ea Baglini (saense ea lipolotiki, Argentina): Ralipolotiki o tloaetse ho tlisa litlhahiso tsa hae setsing ha a atamela maemo a bolaoli.
- Thomas's theorem (thuto ea kahisano): Haeba batho ba hlalosa maemo e le a nnete, a fetoha a nnete litlamorao tsa ona.
