Comment by don_esteban

Can you be more explicit?

I absolutely do not understand what are you talking about.

The question whether the tautologies exists regardless of whether we know about them or not is absolutely not a problem that is studied by mathematics and can be proven by mathematics.