Even if theism is a failure, it's still superior to atheism

[polymath257]

Similarly, since he’s discounting observation and detection, we can claim that all existing trees are of equal height.

Boru

Therefore all trees are the tallest trees. So, every tree makes my claim true: there is a tallest tree.

I didn't claim we should reject observation altogether, lol. We simply don't need it to deduce from observed trees that there is a tallest tree. Namely, we don't need to see the tallest tree.

But you do need the observation that trees exist in order to deduce there is a largest one. You also need defined properties of height, for example (that it is linearly ordered) and that there are only finitely many trees (which cannot be known a priori).

For example, there is no tallest unicorn.

Also, there is a distinction mathematically between 'tallest' and 'maximally tall'. The first implies uniqueness while the latter does not.

There is also no maximally tall unicorn.