are all methods of proof reducible to one another?
or are there some statements that can only be proved by some methods and not others?
why is this and how was it proven?
or are there some statements that can only be proved by some methods and not others?
why is this and how was it proven?
