The axioms for a group are short and natural...
Các tiên đề nhóm là ngắn gọn và tự nhiên...