集合論による順序対の定義

ウィキペディア小見出し辞書

集合論による順序対の定義

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/02 03:24 UTC 版)

「順序対」の記事における「集合論による順序対の定義」の解説

集合論による数学の基礎付けというパラダイムに則れば、全ての数学的対象はある種の集合として定義される。したがって、順序対を原始概念と考えないならば、順序対もまた集合として定義されなければならない。順序対の集合論的定義を以下にいくつか挙げる。