數學/集合論著名定理

集合論是關於集合的數學理論。在樸素集合論中，集合被引入和理解使用的是被認為是自明的集合概念，即被視為一個整體的物體的集合。在公理化集合論中，集合和集合成員的概念是透過首先假設某些公理來間接定義的，這些公理規定了它們的性質。在這個概念中，集合和集合成員是像歐幾里得幾何中的點和線一樣基本的概念，本身並沒有被直接定義。

今天，當數學家談論作為一門學科的集合論時，他們通常指的是公理化集合論。在其他領域中對集合論的非正式應用被稱為樸素集合論的應用，但通常被理解為可以在公理體系（通常是策梅洛-弗蘭克爾集合論）中證明。

證明按以下部分排列