The theory can be taken to include just those axioms, or their logical or provable consequences, as desired.
Η θεωρία μπορεί να θεωρηθεί πως περιέχει μόνο εκείνα τα αξιώματα ή και τις λογικές ή αποδείξιμές τους συνέπειες, όπως εμείς επιθυμούμε.