Tautologies are generally proved to be logically true by demonstrating via a detailed process that they are not false.
There is a lot "wrong" in this world, but not all of it that is wrong is mathematically compliant, and not everything can be proved.
Hebrews11:1
Logically true and true are two different things.
That is why the strawman arguments of the creationuts are so despicable. They hide wrongheaded premises behind a logical sounding argument.