Từ điển

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)