English Dictionary

axiom of pairing

名詞

(set theory) One of the axioms in axiomatic set theory, equivalent to the statement that if two sets exist, there exists a set with those two sets as its sole elements.

日本語の意味

集合論における公理の一つで、二つの集合が存在するならば、それらの集合のみを要素とする集合が存在することを主張する。

In most textbooks on axiomatic set theory, the axiom of pairing is used to construct the set whose only elements are any two specified sets.

公理的集合論の多くの教科書では、任意の2つの集合だけを要素として持つ集合の存在を保証する対の公理が、そのような対集合を構成するために用いられている。

意味（1）

(set theory) One of the axioms in axiomatic set theory, equivalent to the statement that if two sets exist, there exists a set with those two sets as its sole elements.