In stelling is in wurd fan Grykske komôf dat a stelling dy't in wierheid oanjout foar in bepaald fjild fan wittenskip, dy't de bysûnderheid hat om oantoanber te wêzen troch gebrûk te meitsjen fan oare earder oantoand foarstellen, axiomen neamd. Typysk de stellingen stypje de wittenskippen neamd 'eksakt’, foaral de 'formele' (wiskunde, logika), dat binne dejingen dy't ideale eleminten brûke om algemiene konklúzjes te lûken.
It tinken efter it konsept fan in stelling is dat, salang't dizze binne basearre op wirklike stellingen dy't logysk en korrekt artikuleare binne, is wat de stelling útsprekt in wierheid fan absolute jildichheid. Dit is krekt wat har yn steat stelt as tsjinst te tsjinjen foar de ûntwikkeling fan elke wittenskiplike teory, sûnder dat it opnij hoecht te bewizen.
De sintrale kwaliteit fan stellingen is har karakter fan logysk. Yn 't algemien, en opnij yn ferliking mei oare soarten wittenskiplike kennis (lykas dyjingen dy't wurde produsearre troch konklúzje of observaasje), is de oarsprong fan' e útfiering fan in logyske proseduere dy't maklik kin wurde besteld. Yn dizze sin begjinne de stellingen út in fûnemintele hypoteze, dat is wat jo wolle demonstrearje; in proefskrift, dat is krekt de demonstraasje, en in gefolch, dat is de konklúzje dat wurdt berikt ienris de demonstraasje is foltôge.
Lykas sein, it haadidee fan 'e stellingen is de fraach fan konstante helberens en de mooglikheid om te alle tiden te wurden ûndertekene en wer aksepteare. As ien situaasje lykwols ûntstiet wêryn de stelling syn universaliteit ferliest, wurdt de stelling fuortendaliks ûnjildich.
It konsept fan stelling is nommen troch oare wittenskippen (ekonomy, psychology of politike wittenskip, ûnder oaren) om bepaalde wichtige as fûnemintele konsepten oan te jaan dy't dy fjilden bestjoere, sels as dizze net ûntsteane fia de ferklearre proseduere. Yn dizze gefallen wurde axiomen net brûkt, mar leaver ynferinsjes makke troch prosedueres lykas observaasje of sels statistyske sampling.
De folgjende list sammelt foarbylden fan stellingen en in koarte beskriuwing fan wat it postuleart:
- Pythagoras stelling: relaasje tusken de mjitte fan 'e hypotenuse en dy fan' e skonken, yn it gefal fan rjochte trijehoeken.
- Stelling nûmer: As de nûmerline groeit, sille d'r hieltyd minder nûmers wêze fan dy groep.
- Binomiale stelling: formule foar it oplossen fan machten fan binomialen (tafoegings as subtraksjes fan eleminten).
- Frobenius stelling: formule oplossen foar systemen fan lineêre fergelikingen.
- Thales stelling: skaaimerken yn termen fan hoeken en kanten fan ferlykbere trijehoeken, en oare eigenskippen dêrfan.
- Eulers stelling: it oantal hoekpunten plus it oantal gesichten is gelyk oan it oantal rânen plus 2.
- Ptolemaeus stelling: De som fan 'e produkten fan' e diagonalen is gelyk oan de som fan 'e produkten fan wjerskanten.
- Cauchy-Hadamard stelling: Oprjochting fan 'e konverginsje -radius fan in searje machten dy't in funksje om in punt hinne benadert.
- Rolle's stelling: Yn in ynterval waans beoardiele ekstremen yn in differinsiabele funksje gelyk binne, sil d'r altyd in punt wêze wêr't de derivative ferdwynt.
- Gemiddelde wearde stelling: As in funksje kontinu en differinsiabel is oer in ynterval, sil d'r in punt wêze yn dat ynterval wêr't de tangens parallel sil wêze mei de sekant.
- Cauchy Dini's stelling: Betingsten foar de berekkening fan derivaten yn it gefal fan ymplisite funksjes.
- Calculus stelling: De ôflieding en yntegraasje fan in funksje binne inverse operaasjes.
- Aritmetyske stelling: Elk posityf heule getal kin wurde fertsjintwurdige as in produkt fan prime faktoaren.
- Bayes stelling (statistyk): Metoade om betingste kânsen te krijen.
- Cobweb stelling (ekonomy): Stelling om de foarming fan produkten te ferklearjen dy't makke binne op basis fan 'e foarige priis.
- Stelling fan Marshall Lerner (ekonomy): Analyse fan 'e ynfloed fan in faluta -devaluaasje yn termen fan hoemannichten en prizen.
- Coase stelling (ekonomy): Oplossing foar gefallen fan eksternaliteiten, neigean nei deregulearring.
- Median kiezerstelling (politike wittenskip): It systeem foar mearderheidsferkiezings hat de neiging om de mediaanstimmen te befoarderjen.
- Baglini's stelling (politike wittenskip, Argentynje): De politikus hat de neiging syn foarstellen nei it sintrum te bringen as hy machtsposysjes benadert.
- Thomas's stelling (sosjology): As minsken situaasjes definiearje as wirklik, wurde se wirklik yn har gefolgen.
