aksjomatyczny system
 
Encyklopedia PWN
aksjomatyczny system,
log. zbiór tez, w którym wyróżnia się 2 podzbiory: aksjomaty oraz twierdzenia.
Stanowi system zbudowany z określonego układu aksjomatów (zw. jego aksjomatyką) oraz ze zbioru twierdzeń stanowiących ich logiczne konsekwencje, tj. wywiedzionych z tych aksjomatów na podstawie przyjętych w danym systemie aksjomatycznym reguł wnioskowania.
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia