[Peter666]

I think the the principle of non-contradiction already proves that our logic can be perfect in a practical way.

I agree that there can be problems that are so extremely difficult that it would take an incredibly long time and a genius to deduce. Some are probably too long for many humans to deduce over a lengthy period of time, if ever (time may run out).

But these types of problems are not essential. They hold no practical relevance to the salvation of our souls, which is the only important matter, and where perfect logic, no matter how simple, is extremely important.