aksjomatyka

ż III, CMs. \aksjomatykayce, blm

log. «układ aksjomatów systemu dedukcyjnego, z którego można wyprowadzić wszystkie twierdzenia tego systemu»