正則性公理

3行要約

1. 集合論において、空でない集合は自分自身と共通部分を持たない要素を持つという公理。
2. 「集合が自分自身を要素に持つ」といった無限後退や循環を排除する。
3. 集合の階層構造を保証し、集合論の体系を安定させる役割を持つ。