Some authors require theories to also include all logical consequences of the axioms.
Μερικοί συγγραφείς απαιτούν, οι θεωρίες αυτές να περιλαμβάνουν και όλα τα λογικά αποτελέσματα των αξιωμάτων.