w logice układ aksjomatów systemu dedukcyjnego; można z niego wyprowadzić wszystkie twierdzenia tego systemu.
HILBERT, KAGAN, FRAENKEL Abraham Adolf, ZERMELO
- SOBOCIŃSKI, Bolesław (1906-80)
w logice układ aksjomatów systemu dedukcyjnego; można z niego wyprowadzić wszystkie twierdzenia tego systemu.