As there is an arbitrariness in the choice of the undefined symbols, it is necessary to describe the chosen system.
Vì có sự tùy ý trong việc lựa chọn các ký hiệu không xác định, cần mô tả hệ thống đã chọn.