Zusammenfassung
Man kann die gesamte Mathematik als eine Menge von Aussagen auffassen, von denen jede — auf mehr oder weniger verschlungenen Pfaden — aus gewissen Grundaussagen (den Axiomen) rein logisch abgeleitet wird (man nennt diesen Vorgang beweisen). Wenn eine gewisse Aussage A bewiesen worden ist und man aus A rein logisch die Aussage B ableiten kann, so gilt natürlich auch B als bewiesen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Beutelspacher, A. (2002). Satz, Lemma, Korollar. In: „Das ist o.B.d.A. trivial!“. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-94380-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-322-94380-4_5
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-56442-1
Online ISBN: 978-3-322-94380-4
eBook Packages: Springer Book Archive