aksjomatyka
 
Encyklopedia PWN
aksjomatyka
[gr.],
log. układ aksjomatów (aksjomat), z którego można wyprowadzić wszystkie twierdzenia danej nauki (teorii);
taki układ powinien być: 1) niesprzeczny, tzn. z aksjomatów nie wynika para zdań sprzecznych; 2) niezależny, tzn. żaden z jego aksjomatów nie dałby się udowodnić na podstawie pozostałych aksjomatów w nim przyjętych; 3) zupełny, tzn. zawiera odpowiedzi na każde pytanie sformułowane w języku danego systemu.
zgłoś uwagę
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia