ZFC公理系统

现代数学的基础，一套包含有9条不证自明的集合论基本公理

reference