categorical system of axioms

[ریاضیات] دستگاه جازم اصل های موضوع، دستگاه کامل اصل های موضوع