关于整数的公理 ■对于加法与乘法封闭： ■加法与乘法满足交换律： ■加法与乘法满足结合律； ■乘法对加法满足分配律； ■加法和乘法各自有单位元素 (0和1) ■方程十x=O有整数解（称为a的逆元素，并可由此定义“减法”） ■如果c≠0，ac=bc-→a=b（消去律) ▣（基于1,2,3…}定义“正整教”和“大于”、“小于”）对任意☑，Q>0 a=0,和a<0三者必有其一，也仅有其一； ■任一正整数的非空集合必含最小元素（良序性）关于整数的公理 ◼ 对于加法与乘法封闭； ◼ 加法与乘法满足交换律； ◼ 加法与乘法满足结合律； ◼ 乘法对加法满足分配律； ◼ 加法和乘法各自有单位元素（0和1） ◼ 方程a+x=0有整数解（称为a的逆元素，并可由此定义“减法”） ◼ 如果c0，ac=bc → a=b（消去律） ◼ （基于{1,2,3,…}定义“正整数”和“大于”、“小于”）对任意a，a>0, a=0, 和a<0三者必有其一，也仅有其一； ◼ 任一正整数的非空集合必含最小元素（良序性）