正規公理

正規公理，又叫做基礎公理，係集合論裏面嘅一條基本公理，係Zamelo-Frenkel 公理之一，佢講嘅係，任何一個集 S 都至少存在一個元素 x，符合條件「x 同 S 嘅交集係空集」: 。用來排除一連串無限嘅「屬於」，換句話講，一堆嘢(collection)要有「基本元」至算「集」。

呢個公理一眼睇落去有啲難理解，要理解呢一點，首先要明白，集合論裏面最基本嘅單位係集合。集合論裏面，任何集合嘅元素都係集合，連自然數都係通過集合嚟定義嘅。

集合論