aksjomatyka 1
rzeczownikdomena: myślenierejestr: książk.
Słowosieć [ver.5.0]
PolskiDefinicja
układ aksjomatów, wyodrębnionych spośród wszystkich twierdzeń danej teorii, wybranych tak, aby wynikały z nich wszystkie pozostałe twierdzenia tej teorii.
Przykłady
- 1.Często okazuje się, że aksjomatyka nie jest zupełna, to znaczy istnieją pewne twierdzenia, dające się wyrazić w języku dowolnego modelu danej aksjomatyki, których prawdziwości nie da się rozstrzygnąć na podstawie tego zestawu aksjomatów.
- 2.Pierwszą prawdziwą aksjomatyką było pięć aksjomatów Euklidesa podanych w Elementach.
