logowanie

matematyka » słownik matematyczny

Słownik pojęć matematycznych

hasła: A B C D E F G H I J K L M N O P R S T U W Z




Aksjomatyka

Zbiór aksjomatów danej teorii aksjomatycznej. Zbiór ten musi być niesprzeczny w tym znaczeniu, że każde dwa twierdzenia, które można z niego wyprowadzić, nie mogą być wzajemnie ze sobą sprzeczne. Aksjomaty tworzą układ zupełny danej teorii, jeżeli każde twierdzenie tej teorii można z nich wyprowadzić. Ponadto żada się, aby układ aksjomatów był nizależny, tzn żaden z aksjomatów nie powinien być logicznym wnioskiem z pozostałych. Istnieją teorie matematyczne zaksjomatyzowane na wiele sposobów, takim przykładem jest teoria mnogości.


© 2017 Mariusz Śliwiński      o serwisie | kontakt online: 145 drukuj