categorical axiom

[ریاضیات] بنداشت جازم