Teoria aksjomatyczna rozwijała się i dostarczała matematyce kolejnych osiągnięć. Przykłady stanowić mogą aksjomatyczne definicje podstawowych pojęć analizy matematycznej czy sformułowanie w aksjomatyczny sposób teorii grup. W 1900 Hilbert zaproponował nawet jako jeden z wyróżnionych przez siebie problemów aksjomatyzację fizyki. Pojawiały się próby aksjomatyzacji kolejnych dziedzin matematyki, niekiedy bardzo kontrowersyjne, jak w przypadki logiki, gdzie przyjęcie, bądź nie, aksjomatu wyboru podzieliło społeczność matematyków. Z jednej strony był on bardzo użyteczny w dowodzeniu twierdzeń, z drugiej prowadził do absurdalnych wręcz konkluzji. W dyskusji tej przyjęto rozwiązanie Sierpińskiego, by po prostu w twierdzeniach wykorzystujących pewnik wyboru wyraźnie to zaznaczać. Sformułowano też nowoczesne rozumienie metody aksjomatycznej, z systemem aksjomatów jako definicji uwikłanych i regułami inferencji.
Źródło i licencja
Fragment artykułu Wikipedia — Metoda aksjomatyczna · historia autorów.
Tekst: CC BY-SA 4.0. Wydzielono fragment z dłuższego artykułu.