The deductive systems considered by Shapiro (1991) and Henkin (1950) add to the augmented first-order deductive scheme both comprehension axioms and choice axioms.
Τα αφαιρετικά συστήματα που θεωρήθηκαν από τους Shapiro (1991) και Henkin (1950) προσθέτουν στο αυξημένο αφαιρετικό σύστημα πρώτης τάξης και τα δύο αξιώματα κατανόησης και αξιώματα επιλογής.