axiom of specification

[ریاضیات] اصل تشخیص، اصل تجرید