- Thread starter
- #1

And i may add if answered correctly a lot of misunderstanding and useless arguing can be avoided.

So here is the question:

What are the mathematical means or theories that we have at our disposal for checking the correctness of a mathematical proof