公理系
こうりけい「CÔNG LÍ HỆ」
☆ Danh từ
Hệ tiên đề (là bất kỳ tập hợp các tiên đề nào mà từ đó một số hoặc tất cả các tiên đề có thể được sử dụng kết hợp để suy ra các định lý một cách logic)
