Słownik pojęć matematycznych
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.