树 (集合论) 编辑
集合论中一个偏序关系结构如果满足以下条件：
4
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
数学归纳法是一种数学证明方法，通常被用于数学证明某个给定命题在整个或者局部自然数范围内成立。除了自然数以外，广义化上的数学归纳法也可以用于证明一般良基关系结构，例如：集合论中的树。这种广义的数学归纳法应用于数学逻辑和计算机科学领域，称作结构归纳法。