definitie van stelling

Theorems zijn de behoefte en bijzondere aandacht van wiskunde en als we erover praten, wordt er verwezen naar die uitspraken waarvan kan worden aangetoond dat ze waar zijn binnen een logisch kader.

Over het algemeen zijn de stellingen samengesteld uit een aantal voorwaarden die van tevoren kunnen worden opgesomd of geanticipeerd, waarop ze reacties worden genoemd​Hierna zal de conclusie of wiskundige verklaring verschijnen, die uiteraard altijd waar zal zijn in de omstandigheden van het werk in kwestie, dat wil zeggen, allereerst in de informatieve inhoud van de stelling, wat zal worden vastgesteld is de relatie die bestaat tussen de hypothese en de scriptie of voltooiing van het werk.

Maar er is iets onvermijdelijk voor de wiskunde als een bepaalde bewering aannemelijk is om een ​​stelling te worden en dat is dat het interessant genoeg moet zijn binnen en voor de wiskundige gemeenschap, anders en helaas kan het gewoon een motto zijn, een uitvloeisel of gewoon een stelling , nooit een stelling kunnen worden.

En om de kwestie een beetje meer te verduidelijken, is het ook nodig om de concepten die we hierboven noemden te onderscheiden, zodat we, zelfs als we geen deel uitmaken van een wiskundige gemeenschap, kunnen herkennen wanneer het een stelling is, een lemma, een uitvloeisel of een voorstel.

Een Lemma is een voorstel, ja, maar het maakt deel uit van een langere stelling. Het uitvloeisel van zijn kant is een bewering die een stelling volgt en tenslotte is de stelling een resultaat dat niet geassocieerd is met een bepaalde stelling.

In het begin gaven we aan dat een stelling een bewering is die alleen kan worden bewezen binnen een logisch raamwerk, terwijl we met een logisch raamwerk verwijzen naar een reeks axioma's of axiomatisch systeem en een inferentieproces waarmee we stellingen kunnen afleiden uit de axioma's en stellingen die al eerder zijn afgeleid.

Aan de andere kant zal de eindige reeks goedgevormde logische formules een bewijs van deze stelling worden genoemd.

Hoewel niet met de speciale aandacht die de wiskunde aan stellingen besteedt, produceren disciplines als natuurkunde of economie meestal uitspraken die van anderen worden afgeleid en die ook wel stellingen worden genoemd.