Hệ thống kiến thức đầy đủ về số phần tử của một tập hợp