|
|
|
|
|
|
by slack3r
337 days ago
|
|
|
You have to first prove that p is not undecidable. This is not being done in many proof by contra-positive based proofs in mathematics. First prove that p is not undecidable is not a step in Analysis I by Terence Tao for instance. |
|
|