Lý thuyết tập hợp ngây thơ là bất kỳ lý thuyết nào trong số các lý thuyết tập hợp được sử dụng trong cuộc thảo luận về nền tảng của toán học[1]. Không giống như các lý thuyết tập hợp tiên đề, được xác định bằng logic chính thức, lý thuyết tập hợp ngây thơ được định nghĩa không chính thức, bằng ngôn ngữ tự nhiên. Nó mô tả các khía cạnh của các tập hợp toán học quen thuộc trong toán học rời rạc (ví dụ biểu đồ Venn và lập luận ký hiệu về đại số Boole của chúng), và đủ cho việc sử dụng hàng ngày các khái niệm lý thuyết tập hợp trong toán học đương đại.[2]Tập hợp có tầm quan trọng lớn trong toán học; trong các phương pháp nghiên cứu của toán học hiện đại chính thức, hầu hết các đối tượng toán học (số, quan hệ, hàm số, v.v.) được định nghĩa trong mối quan hệ với các tập hợp. Lý thuyết tập hợp ngây thơ đặt ra đủ cho nhiều mục đích, đồng thời đóng vai trò là bước đệm hướng tới các phương pháp nghiên cứu toán học hiện đại chính thức hơn.