Similar to ZF

AC - Added Constraint
ACA - Arithmetic Comprehension Axiom
ACA - Adaptive Conjoint Analysis
ACC - Ascending Chain Condition
ACC - Adaptive Combinations of Classifiers
ACE - Ambient Computational Environment
ACE - Analyzing Combination Effects

View all in Mathematics