Auszug
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsRights and permissions
Copyright information
© 2006 Friedr. Vieweg & Sohn Verlag | GWV Fachverlage GmbH, Wiesbaden
About this chapter
Cite this chapter
(2006). Satz, Lemma, Korollar. In: „Das ist o.B.d.A. trivial!“. Vieweg. https://doi.org/10.1007/978-3-8348-9075-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-8348-9075-7_5
Publisher Name: Vieweg
Print ISBN: 978-3-8348-0086-2
Online ISBN: 978-3-8348-9075-7
eBook Packages: Life Science and Basic Disciplines (German Language)