子集公理,五子戏寿

原本定义 注《几何原本》中有"公设"与"公理"之分,近代数学对此
古典概率 or 统计定义:频率现代概率 or 公理化定义:测度论(科尔莫戈
②如果一个形式系统含有初等数论,当该系统自洽(所有公理都不互相矛盾
属性闭包关系模式r的子集α在函数依赖集f上根据armstrong公理推导
实数的最小上界公理及其在有理数集的失效性:笔者补充一些gre sub