Concept in definitie ABC

Stellingen zijn de noodzaak en speciale zorg van de wiskundeen wanneer er over wordt gesproken, wordt 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 vooraf kunnen worden opgesomd of waarop ze reacties worden genoemd. Naar aanleiding van deze, de conclusie of wiskundige uitspraak die uiteraard altijd waar zal zijn in de omstandigheden van het werk in kwestie, dat wil zeggen in de eerste plaats in de inhoud informatief 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 onvermijdelijks voor wiskunde wanneer een bepaalde uitspraak aannemelijk is om een ​​stelling te worden en dat is dat het interessant genoeg moet zijn binnen en Voor de wiskundige gemeenschap kan het anders en helaas gewoon een motto, een uitvloeisel of gewoon een stelling zijn, en kan het nooit een stelling worden.

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

Een lemma is een propositie, maar het maakt deel uit van een langere stelling. Het Gevolg van zijn kant is een uitspraak die volgt op een stelling en tenslotte is de stelling een resultaat dat niet geassocieerd is met een bepaalde stelling.

In het begin hebben we aangegeven dat een stelling een bewering is die alleen binnen een raamwerk kan worden bewezen logisch kader, terwijl we met logisch kader verwijzen naar een reeks axioma's of axiomatisch systeem en een proces van gevolgtrekking dat is degene die het mogelijk maakt om stellingen af ​​te leiden van de axioma's en stellingen die al eerder zijn afgeleid.

Aan de andere kant zal het worden genoemd demonstratie van die stelling naar de eindige reeks goed gevormde logische formules.

Hoewel niet met de speciale aandacht dat wiskunde hem toewijst aan stellingen, disciplines zoals natuurkunde of economie ze produceren meestal uitspraken die zijn afgeleid van anderen en die ook stellingen worden genoemd.