As an example of this type of argument, consider the set of all binary trees.
به عنوان مثالی از این نوع استدلال، مجموعه‌ای از تمام درختان دودویی را در نظربگیرید.