Quote:
Originally posted by rsl12
When you write down a proof for a geometry theorem, you don't have to prove that the pen you're writing with exists. Why?
|
That is because the writing, the paper and the pen are only a means of communicating and not the proof itself.
The pen, paper and ink might not even exist, but if the proof is communicated, it is (in whatever shape or form) sufficient.