配对公理造句
造句与例句手机版
- n=2时,化为x=x1而y=x2的配对公理。
- 配对公理还允许定义有序对。
- 所以,你可以使用它为公理模式来替代空集公理和配对公理。
- 但是人们通常单独使用空集公理和配对公理,并把它证明为定理模式。
- 配对公理:假如x,y为集合,那就有另一个集合{x,y}包含x与y作为它的谨有元素。
- 和使用它的逻辑、数学和计算机科学分支中,配对公理是Zermelo-Fraenkel集合论的公理之一。
- 设A是一个集合,使得A是自身的一个元素,并定义B={A},它是通过配对公理得到的集合。
- 配对公理一般被认为是无可争议的,它或它的等价定理出现在任何可供选择的集合论的公理化中。
- 例如,要证明n=3的情况,使用配对公理三次,来生成对{x1,x2},单元素集合{x3},接着生成对{{x1,x2},{x3}}。
- 用配对公理造句挺难的,這是一个万能造句的方法