出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/06 10:15 UTC 版)「外延性の公理」の記事における「他の公理との関係」の解説空集合の公理、対の公理、和集合の...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/11 10:09 UTC 版)「集合」の記事における「外延性の公理」の解説A, Bを任意の集合とするとき、もし任意の集...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/08 15:26 UTC 版)「ツェルメロ＝フレンケル集合論」の記事における「1. 外延性の公理」の解説詳細は「外延性...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/21 02:06 UTC 版)「素朴集合論」の記事における「同一性」の解説2つの集合 A と B は、まったく同じ要素...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/07 16:26 UTC 版)「公理的集合論」の記事における「ツェルメロ＝フレンケル集合論（ZF公理系）」の解説詳細は...

外延性の公理（がいえんせいのこうり、英: axiom of extensionality）は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...

外延性の公理（がいえんせいのこうり、英: axiom of extensionality）は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張するものであ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/15 08:30 UTC 版)「同一性」の記事における「同一性と数学」の解説集合論においては、二つの集合は、その内包な...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/04 04:01 UTC 版)「定義」の記事における「外延と内包」の解説詳細は「内包と外延」を参照 ある概念等について...

対の公理（ついのこうり、axiom of pairing）は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合（対、pair）が存在することを主張するものである。