ogół aksjomatów danej dziedziny