As an example of this type of argument, consider the set of all binary trees.
这种论证的一个实例：考虑一下所有二叉树的集合。