空集合の公理

3行要約

1. 集合論において、要素を一つも持たない集合が存在することを認める公理。
2. ツェルメロ・フレンケル集合論を構成する基本的な公理の一つである。
3. 数学的な体系を構築する上で、空の状態を定義する出発点となる。