23
Xây dựng các số tự nhiên với các bộ
Cấu trúc này là một cách đại diện cho số tự nhiên. Trong biểu diễn này, 0 được định nghĩa là tập hợp trống và với tất cả các số khác, n là liên kết của {0} và {n-1}. Ví dụ để xây dựng 3 chúng ta có thể làm …