Advertisement

Satz, Lemma, Korollar

  • Albrecht Beutelspacher

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.

Copyright information

© Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden 2002

Authors and Affiliations

  • Albrecht Beutelspacher
    • 1
  1. 1.Mathematisches InstitutJustus-Liebig-Universität GießenGießenDeutschland

Personalised recommendations