Ngay từ năm 1889, Giuseppe Peano, người đã miêu tả tập hợp là các tầng lớp, đã tạo ra cách tính toán bằng công thức logic các tầng lớp đầu tiên làm cơ sở cho số học của ông với các tiên đề Peano, mà ông đã mô tả lần đầu tiên trong một ngôn ngữ lý thuyết tập hợp chính xác. Do đó ông đã phát triển cơ sở cho ngông ngữ công thức ngày nay của lý thuyết tập hợp và giới thiệu nhiều biểu tượng được phổ biến ngày nay, đặc biệt là ký hiệu phần tử ∈ {\displaystyle \in } , được đọc là là "phần tử của". Trong khi đó ∈ {\displaystyle \in } là chữ viết thường của ε (epsilon) của từ ἐστί (tiếng Hy Lạp: "là").