可以这样问，如何通过算法实现从N元集合中取最大值。
你说的这种方法，可以用伪代码表示。
首先定义比较函数 ，功能是取a,b中的最大值
然后定义集合，干脆就用数组 ，这里指定其中元素为
于是依次比较 前两个数的最大值。
前三个数的最大值，重复使用，直到前n个数的最大值。
因为n有限，所以算法必然在有限时间终止。
这样，就很严谨了。这种算法并不高效，还可以进一步改进，不过那就是学计算机的事情了。
这种理解方式是一种构造性的，清晰，可计算，缺点是无法处理无穷对象。还有存在性证明，任意集合可良序化，对应某一序数，序数总有最大元，所以任意集合在某种良序下总有最大元。有限集不过是一个特例，满足一定条件，就可取最大元。这样的证明，你就很难搞清楚他是怎么实现的，不过，好处是对于无穷集合也适用。
