以最简分布示例描述基本算法：枚举（收敛与发散）或搜索
最最基本的数据结构类型：对克莱尼星号描述的字符串再细分
集合论（康托 ）
类型论（罗素 ）
证明论（希尔伯特 ）
递归论（图灵-丘奇）