Wat is een uitvloeisel in de wiskunde?

Corollate is een term die soms wordt gebruikt in de context van wiskundige bewijzen, vooral op het gebied van de algebraïsche meetkunde. Het is geen algemeen gebruikt woord, en het zal voor veel mensen misschien niet bekend zijn. Over het algemeen is een uitvloeisel een verklaring die logisch voortvloeit uit een eerdere verklaring, vaak als gevolg van een bewijs of een reeks aannames. Met andere woorden, een uitvloeisel is een secundair resultaat dat is afgeleid van een primair resultaat of een primaire stelling. Als we bijvoorbeeld een stelling hebben die zegt: "Als A, dan B", kunnen we misschien een uitvloeisel afleiden dat zegt: "Als B dan C". Dit betekent dat de stelling "C" logisch voortvloeit uit de stelling "B", die op zijn beurt logisch voortvloeit uit de stelling "A".

In de praktijk worden uitvloeisels vaak gebruikt om aanvullend inzicht te verschaffen of om de gevolgen van een bepaald resultaat te illustreren. Ze kunnen ook nuttig zijn bij het opbouwen van een keten van logische argumenten, waarbij elke stap op natuurlijke wijze voortvloeit uit de vorige.