背景
说来惭愧，高中是花钱买上的，高中虽然经过努力考试了大学，可惜小学和初中的知识学习的不扎实（当时也学不会），感觉到现在都没有开窍，前几天读《古今数学思想》，觉得数学和编程简直就是一回事，本文简单的介绍一下“公理系统在编程中的运用”，由此可以管中窥豹。
公理系统
简单来说：公理系统是一些公理的集合，这些公理是大家都公认的，不需要证明的，除此之外的推论都需要证明。
公理系统在编程中的运用
掺入（扩展方法）
1 class 公理系统 2 { 3 public void 公理A(){} 4 public void 公理B(){} 5 } 6 7 static class 推论 8 { 9 public static void 推论A(this 公理系统 that){}10 public static void 推论B(this 公理系统 that){}11 } 插件系统
1 class 宿主 2 { 3 public void 执行() 4 { 5 执行配置的插件(宿主接口); 6 } 7 } 8 9 class 插件A10 {11 public void 执行(宿主接口 公理){}12 } 不明觉厉的微内核
待续
