Axiomatisierung

„Unter der Axiomatisierung einer Theorie versteht man ihre Darstellung in der Weise, dass gewisse Sätze dieser Theorie, die Axiome, an den Anfang gestellt werden und weitere Sätze durch logische Deduktion aus ihnen abgeleitet werden.“

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.