），未有形式化的理解。和用公理定义而产生的公理化集合论不同。而公理化集合论只使用明确定义的公理列表，还有从中证明的关于集合和成员关系的种种事实，公理起源自对对象的搜集和它们的成员的理解，但为了各种目的而被谨慎地构建，例如是避免已知的各种悖论，例如理发师悖论－一个理发师他只为（而且一定要为）城里所有不为自己刮胡子的人刮胡子，那理发师该为自己刮胡子吗？集合在数学中是极其重要的；事实上，採用现代的形式化定义，多种数学对象（数、关系、函数等等）都可以用集合来构建。
集合、成员及相等.